diff options
| author | Richard M. Stallman <rms@gnu.org> | 1995-04-18 03:54:39 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1995-04-18 03:54:39 +0000 |
| commit | f32cdadd9268c3400e85de20a994527239bf8afc (patch) | |
| tree | 72bdb730c76733449b07f32b57d22c6407755d4a /man | |
| parent | ad06e4fcf5ad77194099d3dc725fd8e88c523729 (diff) | |
| download | emacs-f32cdadd9268c3400e85de20a994527239bf8afc.tar.gz | |
(INFO_TARGETS, DVI_TARGETS): Add mh-e targets.
(../info/mh-e, mh-e.dvi): New targets.
Diffstat (limited to 'man')
| -rw-r--r-- | man/Makefile.in | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index da647c9ca0e..cf9792184be 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -13,8 +13,10 @@ VPATH=@srcdir@ # The makeinfo program is part of the Texinfo distribution. MAKEINFO = makeinfo INFO_TARGETS = ../info/emacs ../info/cl ../info/forms ../info/vip \ - ../info/gnus ../info/sc ../info/info ../info/dired-x -DVI_TARGETS = emacs.dvi cl.dvi forms.dvi vip.dvi gnus.dvi sc.dvi dired-x.dvi + ../info/gnus ../info/sc ../info/info ../info/dired-x \ + ../info/mh-e +DVI_TARGETS = emacs.dvi cl.dvi forms.dvi vip.dvi gnus.dvi sc.dvi \ + dired-x.dvi mh-e.dvi INFOSOURCES = info.texi info-stnd.texi # The following rule does not work with all versions of `make'. @@ -94,6 +96,11 @@ dired-x.dvi: dired-x.texi forms.dvi: forms.texi $(TEXI2DVI) ${srcdir}/forms.texi +../info/mh-e: mh-e.texi + $(MAKEINFO) mh-e.texi +mh-e.dvi: mh-e.texi + $(TEXI2DVI) ${srcdir}/mh-e.texi + ../info/sc: sc.texi $(MAKEINFO) sc.texi sc.dvi: sc.texi |