diff --git a/doc/Makefile.am b/doc/Makefile.am index 4d63faf2..43acec70 100644 --- 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