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/rtemsstyle.sty | |
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/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}% |