diff options
Diffstat (limited to 'common/rtemsstyle.sty')
| -rw-r--r-- | common/rtemsstyle.sty | 8 |
1 files changed, 8 insertions, 0 deletions
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}% |