diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 8cb1da3..5a30c8b 100644 --- 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 |