From 3d913ad370a9821c27d2c99101667e5b93de7109 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Mon, 29 Dec 1997 21:31:23 +0000 Subject: [PATCH] Revised lib1.texi target to deal with some conversion nastiness. See comment. --- Doc/Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Doc/Makefile b/Doc/Makefile index 55488815f3f..4224aa866f5 100644 --- 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