mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-17 14:51:50 +08:00
Switch to using Minted and splitting long lines in verbatim.
This commit is contained in:
parent
63eaa6fbf0
commit
2bcd424b4b
@ -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
|
latex_use_modindex = False
|
||||||
|
|
||||||
|
|
||||||
|
@ -14,6 +14,14 @@
|
|||||||
|
|
||||||
\renewenvironment{printindex}{\underscoresplit\oldprintindex}
|
\renewenvironment{printindex}{\underscoresplit\oldprintindex}
|
||||||
|
|
||||||
|
\usepackage{minted}
|
||||||
|
\fvset{
|
||||||
|
breaklines=true,
|
||||||
|
linenos,
|
||||||
|
numbersep=5pt,
|
||||||
|
gobble=2,
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
\renewcommand{\maketitle}{%
|
\renewcommand{\maketitle}{%
|
||||||
\begin{titlepage}%
|
\begin{titlepage}%
|
||||||
|
@ -65,6 +65,8 @@ def check_sphinx_version(ctx, minver):
|
|||||||
def cmd_configure(ctx):
|
def cmd_configure(ctx):
|
||||||
ctx.load('tex')
|
ctx.load('tex')
|
||||||
|
|
||||||
|
ctx.env.append_value('PDFLATEXFLAGS', '-shell-escape')
|
||||||
|
|
||||||
ctx.find_program("sphinx-build", var="BIN_SPHINX_BUILD", mandatory=True)
|
ctx.find_program("sphinx-build", var="BIN_SPHINX_BUILD", mandatory=True)
|
||||||
ctx.find_program("aspell", var="BIN_ASPELL", mandatory=False)
|
ctx.find_program("aspell", var="BIN_ASPELL", mandatory=False)
|
||||||
ctx.find_program("inliner", var="BIN_INLINER", mandatory=False)
|
ctx.find_program("inliner", var="BIN_INLINER", mandatory=False)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user