From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 4 Jul 2022 13:36:22 +0000 (+0100)
Subject: indent all verbatim, it was hard to find verbatim code
X-Git-Tag: opf_rfc_ls005_v1~1346
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd42985a8bdf08dba2f0a007874b3f08c776480a;p=libreriscv.git

indent all verbatim, it was hard to find verbatim code
---

diff --git a/openpower/simple_v_spec.tex b/openpower/simple_v_spec.tex
index 3c48b96e9..4860d9d09 100644
--- 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