diff options
| author | Peter Sewell | 2016-06-03 16:31:55 +0100 |
|---|---|---|
| committer | Peter Sewell | 2016-06-03 16:31:55 +0100 |
| commit | 426dea43d87e423371095f7a35f4df82c8ad53a3 (patch) | |
| tree | d19ea1a77c6f022a17d171e79973d3aa9e1fb60c /mips/doc/postamble.tex | |
| parent | a77f59965a265cfe056c4048f6d63e1fbbc54950 (diff) | |
plumbing to make a pdf version of MIPS Sail spec, using LaTeX lstlistings
Diffstat (limited to 'mips/doc/postamble.tex')
| -rw-r--r-- | mips/doc/postamble.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mips/doc/postamble.tex b/mips/doc/postamble.tex new file mode 100644 index 00000000..892ef896 --- /dev/null +++ b/mips/doc/postamble.tex @@ -0,0 +1,2 @@ +\end{lstlisting} +\end{document} |