summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--common/conf.py2
-rw-r--r--common/rtemsstyle.sty8
-rw-r--r--common/waf.py2
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)