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

48fb2ce1 · Katsumi Yamaoka · 1a8ae907 · 48fb2ce1
Commit 48fb2ce1 authored Feb 05, 2011 by Katsumi Yamaoka
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

doc/misc/Makefile.in doc/misc/Makefile.in +6 -0

No files found.
--- 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)