diff options
| author | Katsumi Yamaoka <yamaoka@jpl.org> | 2011-02-05 11:23:52 +0000 |
|---|---|---|
| committer | Katsumi Yamaoka <yamaoka@jpl.org> | 2011-02-05 11:23:52 +0000 |
| commit | 48fb2ce10abaaa1e6e142354d7e8e3f10c9d1c1a (patch) | |
| tree | 5f156b438eed76778bdc1297a10d3c0ff88c0dcd /doc | |
| parent | 1a8ae90761acdc1391567cdd688573bf8ce788dd (diff) | |
| download | emacs-48fb2ce10abaaa1e6e142354d7e8e3f10c9d1c1a.tar.gz | |
Makefile.in (webhack, nowebhack): New targets that I forgot to merge from Gnus last.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/Makefile.in | 6 |
1 files changed, 6 insertions, 0 deletions
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) |