changeset 12384:13dd2463be12

(../info/ediff, ediff.dvi): New targets. (INFO_TARGETS, DVI_TARGETS): Add those new targets.
author Richard M. Stallman <rms@gnu.org>
date Mon, 26 Jun 1995 07:42:34 +0000
parents e53c62fff24e
children c80966dc0b60
files man/Makefile.in
diffstat 1 files changed, 8 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/man/Makefile.in	Mon Jun 26 04:39:42 1995 +0000
+++ b/man/Makefile.in	Mon Jun 26 07:42:34 1995 +0000
@@ -12,10 +12,10 @@
 
 # The makeinfo program is part of the Texinfo distribution.
 MAKEINFO = makeinfo
-INFO_TARGETS = ../info/emacs ../info/cl ../info/dired-x ../info/forms \
-	       ../info/gnus ../info/info \
+INFO_TARGETS = ../info/emacs ../info/cl ../info/dired-x ../info/ediff \
+	       ../info/forms ../info/gnus ../info/info \
 	       ../info/mh-e ../info/sc ../info/vip ../info/viper
-DVI_TARGETS = emacs.dvi cl.dvi dired-x.dvi forms.dvi gnus.dvi \
+DVI_TARGETS = emacs.dvi cl.dvi dired-x.dvi ediff.dvi forms.dvi gnus.dvi \
 		 mh-e.dvi sc.dvi vip.dvi viper.dvi
 INFOSOURCES = info.texi info-stnd.texi
 
@@ -91,6 +91,11 @@
 dired-x.dvi: dired-x.texi
 	$(TEXI2DVI) ${srcdir}/dired-x.texi
 
+../info/ediff: ediff.texi
+	$(MAKEINFO) ediff.texi
+ediff.dvi: ediff.texi
+	$(TEXI2DVI) ${srcdir}/ediff.texi
+
 ../info/forms: forms.texi
 	$(MAKEINFO) forms.texi
 forms.dvi: forms.texi