\file and \filenq should not be used in section titles; they are not

sufficiently robust to survive the creation of bookmarks in the PDF
format.

diff --git a/Doc/lib/librobotparser.tex b/Doc/lib/librobotparser.tex
index bf35fac8cd46f5939ba3bf3c66c4c2ef6133c6db..a48ad85424a59bda6c26168fec48b5f7f10c35a2 100644 (file)
--- a/Doc/lib/librobotparser.tex
+++ b/Doc/lib/librobotparser.tex
@@ -1,5 +1,5 @@
 \section{\module{robotparser} --- 
-         Parser for \filenq{robots.txt}}
+         Parser for robots.txt}
 
 \declaremodule{standard}{robotparser}
 \modulesynopsis{Accepts as input a list of lines or URL that refers to a