diff options
Diffstat (limited to 'common/conf.py')
-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 821d338..b39de19 100644 --- a/common/conf.py +++ b/common/conf.py @@ -182,7 +182,7 @@ latex_elements = { } -latex_additional_files = ['../common/rtemsstyle.sty', '../common/logo.pdf'] +latex_additional_files = ['../common/rtemsstyle.sty', '../common/minted.sty', '../common/logo.pdf'] latex_use_modindex = False |