summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorAlasdair Armstrong2020-09-24 16:24:26 +0100
committerGitHub2020-09-24 16:24:26 +0100
commit70221a666d5106cfdc5991e2fa13636c73cac042 (patch)
treea83ba154260c50f52e3eb4efa35d8347316dc2ab /doc
parent7ead8e00d256011f1b3be5d84c641dae3432e8e4 (diff)
parentf702b004483720d0b3d135238779d68cf013aef0 (diff)
Merge pull request #93 from jrtc27/saildoc-improvements
Saildoc improvements
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex3
-rw-r--r--doc/riscv.tex2
2 files changed, 4 insertions, 1 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index f3578784..e6b88231 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -75,6 +75,9 @@
%% \renewcommand{\ottrulehead}[3]{\multicolumn{9}{l}{$#1$\quad $#2$}}%
%% \renewcommand{\ottprodline}[6]{\multicolumn{9}{l}{\quad$#1$\quad $#2$}}%
+% Pandoc 2.0 and above wrap lstinline with a dummy passthrough command for escaping purposes
+\newcommand{\passthrough}[1]{#1}
+
\begin{document}
\input{code_riscv}
diff --git a/doc/riscv.tex b/doc/riscv.tex
index ca2b9dfe..5c64b947 100644
--- a/doc/riscv.tex
+++ b/doc/riscv.tex
@@ -56,7 +56,7 @@ register Xs : vector(32, dec, xlenbits)
\sailval{wX}
\sailfn{wX}
-\sailoverloadUUX
+\sailoverloadXXX
We also give a function \ll{MEMr} for reading memory, this function
just points at a builtin we have defined elsewhere. Note that