Revised lib1.texi target to deal with some conversion nastiness. See comment.

diff --git a/Doc/Makefile b/Doc/Makefile
index 55488815f3f6858ce780b40b0bb755f10817bd45..4224aa866f579e46c6cd0d501df4a959bfaa7265 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -166,8 +166,15 @@ api.ps:    api.dvi
 
 .PRECIOUS:     lib.texi
 
+# The sed script in this target fixes a really nasty little condition in
+# libcgi.tex where \e has to be used in a group to get the right behavior,
+# and makeinfo can't handle a group with a leading @command.  But at least
+# the info file gets generated.
+
 lib1.texi: lib*.tex texipre.dat texipost.dat partparse.pyc
        $(PARTPARSE) -o lib1.texi `./whichlibs`
+       sed 's/"{\\}n{\\}n/"\\n\\n/' lib1.texi >lib2.texi
+       mv lib2.texi lib1.texi
 
 lib.texi: lib1.texi fix.el
        $(EMACS) -batch -l fix.el -f save-buffer -kill