From c89061817b4364dd5df4e67e1b3aa8a7bc60c997 Mon Sep 17 00:00:00 2001
From: Johannes Gijsbers <jlg@dds.nl>
Date: Fri, 20 Aug 2004 14:37:05 +0000
Subject: [PATCH] Quote # as \# to make lib compile again.

---
 Doc/lib/libdoctest.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/lib/libdoctest.tex b/Doc/lib/libdoctest.tex
index 314cdb372a..c0bdf6de66 100644
--- a/Doc/lib/libdoctest.tex
+++ b/Doc/lib/libdoctest.tex
@@ -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}
-- 
2.50.1