\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 bf35fac..a48ad85 100644
--- 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