projects
/
libreriscv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6a5930c
)
indent all verbatim, it was hard to find verbatim code
author
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Mon, 4 Jul 2022 13:36:22 +0000
(14:36 +0100)
committer
Luke Kenneth Casson Leighton
<lkcl@lkcl.net>
Mon, 4 Jul 2022 13:36:22 +0000
(14:36 +0100)
openpower/simple_v_spec.tex
patch
|
blob
|
history
diff --git
a/openpower/simple_v_spec.tex
b/openpower/simple_v_spec.tex
index 3c48b96e93d2b7308e8fd18e74d3d5bfdd4bfb11..4860d9d0957ea214c8edd1b79a8eb57d89715a69 100644
(file)
--- a/
openpower/simple_v_spec.tex
+++ b/
openpower/simple_v_spec.tex
@@
-70,6
+70,13
@@
\newcommand{\AlertTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}
\newcommand{\ErrorTok}[1]{\textcolor[rgb]{1.00,0.00,0.00}{\textbf{#1}}}
\newcommand{\NormalTok}[1]{#1}
+
+% indent all verbatim
+\catcode`\@=11
+\let \saveverbatime \@xverbatim
+\def \@xverbatim {\leftskip = 1cm\relax\saveverbatime}
+\catcode`\@=12
+
\usepackage{longtable,booktabs}
% Fix footnotes in tables (requires footnote package)
\IfFileExists{footnote.sty}{\usepackage{footnote}\makesavenoteenv{long