From ec95748f03ca6f45e60e32e3dc5b221cc168d803 Mon Sep 17 00:00:00 2001 From: Chris Johns Date: Fri, 8 Feb 2019 06:03:43 +1100 Subject: Remove minted from the PDF builds. This is feedback from the Sphinx project. See: https://github.com/sphinx-doc/sphinx/issues/6021#issuecomment-460951653 --- common/rtemsstyle.sty | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'common/rtemsstyle.sty') diff --git a/common/rtemsstyle.sty b/common/rtemsstyle.sty index 5a7a4e4..15f80b5 100644 --- a/common/rtemsstyle.sty +++ b/common/rtemsstyle.sty @@ -14,11 +14,8 @@ \renewenvironment{printindex}{\underscoresplit\oldprintindex} -\usepackage{minted} \fvset{ -breaklines=true, -breakanywhere=true, -linenos, +numbers=left, numbersep=5pt, gobble=0, } -- cgit v1.2.3