summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/misc/Makefile.in8
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 6a633c4b9a..3c74f1208c 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -38,6 +38,7 @@ MAKEINFO = makeinfo --force
INFO_TARGETS = \
$(infodir)/ada-mode \
+ $(infodir)/auth \
$(infodir)/autotype \
$(infodir)/calc \
$(infodir)/ccmode \
@@ -83,6 +84,7 @@ INFO_TARGETS = \
DVI_TARGETS = \
ada-mode.dvi \
+ auth.dvi \
autotype.dvi \
calc.dvi \
cc-mode.dvi \
@@ -157,6 +159,12 @@ $(infodir)/ada-mode: ada-mode.texi
ada-mode.dvi: ada-mode.texi
$(ENVADD) $(TEXI2DVI) ${srcdir}/ada-mode.texi
+auth : $(infodir)/auth
+$(infodir)/auth: auth.texi
+ cd $(srcdir); $(MAKEINFO) auth.texi
+auth.dvi: auth.texi
+ $(ENVADD) $(TEXI2DVI) ${srcdir}/auth.texi
+
autotype : $(infodir)/autotype
$(infodir)/autotype: autotype.texi
cd $(srcdir); $(MAKEINFO) autotype.texi