diff options
author | Chris Johns <chrisj@rtems.org> | 2019-02-08 06:03:43 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2019-02-13 08:52:01 +1100 |
commit | ec95748f03ca6f45e60e32e3dc5b221cc168d803 (patch) | |
tree | 1fbb8083fe46904c6f5882614e09766c0481cdd7 /common/rtemsstyle.sty | |
parent | Add copyright notices (diff) | |
download | rtems-docs-ec95748f03ca6f45e60e32e3dc5b221cc168d803.tar.bz2 |
Remove minted from the PDF builds.
This is feedback from the Sphinx project. See:
https://github.com/sphinx-doc/sphinx/issues/6021#issuecomment-460951653
Diffstat (limited to 'common/rtemsstyle.sty')
-rw-r--r-- | common/rtemsstyle.sty | 5 |
1 files changed, 1 insertions, 4 deletions
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, } |