(master-menu): New goal

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4d63faf247fae0d53b2ba22acf39c562920e6c4d..43acec70d91f0c1146e70aabcc736aa229dafde5 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -29,7 +29,7 @@ tar_TEXINFOS = \
  rendition.texi\
  snapshot.texi\
  value.texi
-EXTRA_DIST = gendocs_template texify.sed
+EXTRA_DIST = gendocs_template mastermenu.el texify.sed
 DISTCLEANFILES=*.info* 
 
 # The rendering level is anyone of PUBLISH, DISTRIB or PROOF.
@@ -42,6 +42,9 @@ header.texi: $(top_srcdir)/src/tar.h
        sed -f $(srcdir)/texify.sed $(top_srcdir)/src/tar.h \
          | expand >$@
 
+master-menu: $(tar_TEXINFOS)
+       emacs -batch -l mastermenu.el -f make-master-menu $(info_TEXINFOS)
+
 clean-local:
        rm -rf manual