diff options
Diffstat (limited to 'doc/manual.tex')
| -rw-r--r-- | doc/manual.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index 38b14322..f3578784 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -105,6 +105,9 @@ \include{tutorial} +\lstset{language={},escapechar=\`} +\include{internals} + % Remove for now since incomplete %\include{types} |