Quote # as \# to make lib compile again.

This commit is contained in:
Johannes Gijsbers 2004-08-20 14:37:05 +00:00
parent 37af986ebf
commit c89061817b
1 changed files with 1 additions and 1 deletions

View File

@ -362,7 +362,7 @@ example:
\begin{productionlist}[doctest]
\production{directive}
{"#" "doctest:" \token{on_or_off} \token{directive_name}}
{"\#" "doctest:" \token{on_or_off} \token{directive_name}}
\production{on_or_off}
{"+" | "-"}
\production{directive_name}