add targets to generate info directory files

diff --git a/Makefile.in b/Makefile.in
index 8cb1da3f133c9bd20cede7b7e57809d0f81130d1..5a30c8b20dfb801d12d86b06834e3a7ece3c549e 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -16,7 +16,7 @@
 # along with this program; if not, write to the Free Software
 # Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #
-# Last Mod Wed Nov 13 01:00:48 PST 1991, by rich@cygnus.com
+# Last Mod Wed Nov 13 15:08:42 PST 1991, by rich@rtl.cygnus.com
 #
 # $Id$
 
@@ -197,6 +197,18 @@ install-fixed-includes: force
        else true; \
        fi
 
+dir.info: force
+       gen-info-dir . > dir.info.new
+       mv -f dir.info.new dir.info
+
+generate-dir: force
+       - rm -f menus
+       for i in `find . -name \*.info -print` ; do \
+               echo Frobbing $$i... ; \
+               sed -e '1,/START-INFO-DIR-ENTRY/d' \
+                       -e '/END-INFO-DIR-ENTRY/,$$d' $$i >> menus ; \
+       done
+
 etags tags: TAGS
 
 TAGS: FORCE