1 files changed, 8 insertions, 0 deletions

diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 8d4e5cae80f..24deea88f32 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