# HG changeset patch # User Richard M. Stallman # Date 798697961 0 # Node ID b804f7df771d4f009613f337852e7d9e1f20e906 # Parent e5d3814e783af306c32c5c91471609fbdb70e401 (INFO_TARGETS, DVI_TARGETS): Add viper targets. (../info/viper, viper.dvi): New targets. diff -r e5d3814e783a -r b804f7df771d man/Makefile.in --- a/man/Makefile.in Mon Apr 24 04:26:04 1995 +0000 +++ b/man/Makefile.in Mon Apr 24 04:32:41 1995 +0000 @@ -12,11 +12,11 @@ # 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 \ - ../info/mh-e -DVI_TARGETS = emacs.dvi cl.dvi forms.dvi vip.dvi gnus.dvi sc.dvi \ - dired-x.dvi mh-e.dvi +INFO_TARGETS = ../info/emacs ../info/cl ../info/dired-x ../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 \ + mh-e.dvi sc.dvi vip.dvi viper.dvi INFOSOURCES = info.texi info-stnd.texi # The following rule does not work with all versions of `make'. @@ -119,6 +119,11 @@ ../etc/GNU: gnu1.texi gnu.texi makeinfo --no-headers -o ../etc/GNU gnu1.texi +../info/viper: viper.texi viper-cmd.texi + $(MAKEINFO) viper.texi +viper.dvi: viper.texi viper-cmd.texi + $(TEXI2DVI) ${srcdir}/viper.texi + mostlyclean: rm -f *.log *.cp *.fn *.ky *.pg *.vr core