From 48fb2ce10abaaa1e6e142354d7e8e3f10c9d1c1a Mon Sep 17 00:00:00 2001 From: Katsumi Yamaoka Date: Sat, 5 Feb 2011 11:23:52 +0000 Subject: [PATCH] Makefile.in (webhack, nowebhack): New targets that I forgot to merge from Gnus last. --- doc/misc/Makefile.in | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index f1dbf3bcc08..c657551862b 100644 --- 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) -- 2.39.5