From a35935e973d4d0c6c16371c9aa661e11582e0c46 Mon Sep 17 00:00:00 2001
From: Sergey Poznyakoff <gray@gnu.org.ua>
Date: Sun, 11 Jun 2006 15:04:39 +0000
Subject: [PATCH] (master-menu): New goal

---
 doc/Makefile.am | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4d63faf..43acec7 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
 
-- 
2.44.0