diff options
author | Amar Takhar <amar@rtems.org> | 2016-03-10 11:48:15 -0500 |
---|---|---|
committer | Amar Takhar <verm@darkbeer.org> | 2016-05-02 20:51:26 -0400 |
commit | 2bcd424b4bc923cbf78efa91347ac82b26681737 (patch) | |
tree | bb0a72f5ab9af96c5e8d98393616194677f40aad /common | |
parent | Add Minted 2015/12/21 v2.2dev (ce7a111) (diff) | |
download | rtems-docs-2bcd424b4bc923cbf78efa91347ac82b26681737.tar.bz2 |
Switch to using Minted and splitting long lines in verbatim.
Diffstat (limited to 'common')
-rw-r--r-- | common/conf.py | 2 | ||||
-rw-r--r-- | common/rtemsstyle.sty | 8 | ||||
-rw-r--r-- | common/waf.py | 2 |
3 files changed, 11 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 diff --git a/common/rtemsstyle.sty b/common/rtemsstyle.sty index 033b494..a706f93 100644 --- a/common/rtemsstyle.sty +++ b/common/rtemsstyle.sty @@ -14,6 +14,14 @@ \renewenvironment{printindex}{\underscoresplit\oldprintindex} +\usepackage{minted} +\fvset{ +breaklines=true, +linenos, +numbersep=5pt, +gobble=2, +} + \renewcommand{\maketitle}{% \begin{titlepage}% diff --git a/common/waf.py b/common/waf.py index 0b24f0b..ba63409 100644 --- a/common/waf.py +++ b/common/waf.py @@ -65,6 +65,8 @@ def check_sphinx_version(ctx, minver): def cmd_configure(ctx): ctx.load('tex') + ctx.env.append_value('PDFLATEXFLAGS', '-shell-escape') + ctx.find_program("sphinx-build", var="BIN_SPHINX_BUILD", mandatory=True) ctx.find_program("aspell", var="BIN_ASPELL", mandatory=False) ctx.find_program("inliner", var="BIN_INLINER", mandatory=False) |