WEBHACKDEVEL work

[gnus] / texi / Makefile.in

diff --git a/texi/Makefile.in b/texi/Makefile.in
index 5b10e04..832350c 100644 (file)
--- a/texi/Makefile.in
+++ b/texi/Makefile.in
@@ -25,6 +25,12 @@ LOGO=gnus-logo
 
 all: $(INFO_DEPS)
 
+webhack: clean
+       echo '@set WEBHACKDEVEL' > overrides.texi
+
+nowebhack: clean
+       echo '@clear WEBHACKDEVEL' > overrides.texi
+
 most: texi2latex.elc latex latexps
 
 .SUFFIXES: .texi .dvi .ps .pdf .latexi .dvi-x .pdf-x