diff options
Diffstat (limited to 'web/glasgow/lit2x-0.16/literate/lit-2texi-prl.lprl')
-rw-r--r-- | web/glasgow/lit2x-0.16/literate/lit-2texi-prl.lprl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/web/glasgow/lit2x-0.16/literate/lit-2texi-prl.lprl b/web/glasgow/lit2x-0.16/literate/lit-2texi-prl.lprl new file mode 100644 index 0000000000..f22e907ae9 --- /dev/null +++ b/web/glasgow/lit2x-0.16/literate/lit-2texi-prl.lprl @@ -0,0 +1,6 @@ +\section[texinfo_for_prl]{Texinfo-only code for language \tr{prl}} + +\begin{code} +# this keeps 'do'ing happy +1; +\end{code} |