diff options
-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 8d4e5cae80..24deea88f3 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -67,6 +67,7 @@ INFO_TARGETS = \ $(infodir)/rcirc \ $(infodir)/remember \ $(infodir)/reftex \ + $(infodir)/sasl \ $(infodir)/sc \ $(infodir)/ses \ $(infodir)/sieve \ @@ -110,6 +111,7 @@ DVI_TARGETS = \ rcirc.dvi \ reftex.dvi \ remember.dvi \ + sasl.dvi \ sc.dvi \ ses.dvi \ sieve.dvi \ @@ -336,6 +338,12 @@ $(infodir)/remember: remember.texi remember.dvi: remember.texi $(ENVADD) $(TEXI2DVI) ${srcdir}/remember.texi +sasl : $(infodir)/sasl +$(infodir)/sasl: sasl.texi + cd $(srcdir); $(MAKEINFO) sasl.texi +sasl.dvi: sasl.texi + $(ENVADD) $(TEXI2DVI) ${srcdir}/sasl.texi + sc : $(infodir)/sc $(infodir)/sc: sc.texi cd $(srcdir); $(MAKEINFO) sc.texi |