Makefile.in (webhack, nowebhack): New targets that I forgot to merge from Gnus last.

diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index f1dbf3b..c657551 100644 (file)
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -209,6 +209,12 @@ mkinfodir = @cd ${srcdir}; test -d ${infodir} || mkdir ${infodir} || test -d ${i
 
 info: $(INFO_TARGETS)
 
+webhack: clean
+       echo '@set WEBHACKDEVEL' > overrides.texi
+
+nowebhack: clean
+       echo '@clear WEBHACKDEVEL' > overrides.texi
+
 dvi: $(DVI_TARGETS)
 
 pdf: $(PDF_TARGETS)