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/conf.py | |
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 '')
-rw-r--r-- | common/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/conf.py b/common/conf.py index 14d5d48..821f913 100644 --- a/common/conf.py +++ b/common/conf.py @@ -188,7 +188,7 @@ latex_elements = { 'parsedliteralwraps': True, } -latex_additional_files = ['../common/rtemsstyle.sty', '../common/minted.sty', '../common/logo.pdf'] +latex_additional_files = ['../common/rtemsstyle.sty', '../common/logo.pdf'] latex_use_modindex = False # The name of an image file (relative to this directory) to place at the top of |