better put the patch outside this repository

This commit is contained in:
Robert Alessi 2020-11-08 15:26:12 +01:00
parent c342d7d82e
commit 3c3dd447ec
1 changed files with 0 additions and 7 deletions

View File

@ -243,13 +243,6 @@
\usepackage{relsize}
\usepackage{units}
\usepackage{minted}
\makeatletter
\patchcmd{\minted@checkstyle}{\minted@input{%
\minted@outputdir\minted@cachedir/\ifstrempty{#1}{default-pyg-prefix}{#1}.pygstyle}%
}{\minted@input{%
\minted@outputdir\minted@cachedir/\ifstrempty{#1}{default-pyg-prefix}{#1}.pygstyle}%
\def\PYGZhy{\mbox{\char`\-}}}{}{}
\makeatother
\usepackage[contents]{colordoc}
\newcommand{\package}[1]{\textsf{#1}\index{#1=#1 (package)}}
\usepackage{tikz}