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)