diff options
Diffstat (limited to 'doc/misc/Makefile.in')
| -rw-r--r-- | doc/misc/Makefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 65caeb77ec..93982f419d 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -64,6 +64,7 @@ INFO_TARGETS = \ $(infodir)/pcl-cvs \ $(infodir)/pgg \ $(infodir)/rcirc \ + $(infodir)/remember \ $(infodir)/reftex \ $(infodir)/sc \ $(infodir)/ses \ @@ -104,6 +105,7 @@ DVI_TARGETS = \ pgg.dvi \ rcirc.dvi \ reftex.dvi \ + remember.dvi \ sc.dvi \ ses.dvi \ sieve.dvi \ @@ -306,6 +308,12 @@ $(infodir)/reftex: reftex.texi reftex.dvi: reftex.texi $(ENVADD) $(TEXI2DVI) ${srcdir}/reftex.texi +remember : $(infodir)/remember +$(infodir)/remember: remember.texi + cd $(srcdir); $(MAKEINFO) remember.texi +remember.dvi: remember.texi + $(ENVADD) $(TEXI2DVI) ${srcdir}/remember.texi + sc : $(infodir)/sc $(infodir)/sc: sc.texi cd $(srcdir); $(MAKEINFO) sc.texi |