bash31/bash-noinfo.patch

   1 diff -Naur bash-3.0-orig/doc/Makefile.in bash-3.0/doc/Makefile.in
   2 --- bash-3.0-orig/doc/Makefile.in       2004-07-27 05:57:48.000000000 -0700
   3 +++ bash-3.0/doc/Makefile.in    2005-02-11 22:44:49.000000000 -0800
   4 @@ -220,7 +220,7 @@
   5                 $(SHELL) $(SUPPORT_SRCDIR)/mkinstalldirs $(DESTDIR)$(htmldir) ; \
   6         fi
   7
   8 -install: info installdirs bash.info
   9 +install: installdirs
  10         -$(INSTALL_DATA) $(srcdir)/bash.1 $(DESTDIR)$(man1dir)/bash${man1ext}
  11         -$(INSTALL_DATA) $(srcdir)/bashbug.1 $(DESTDIR)$(man1dir)/bashbug${man1ext}
  12  # uncomment the next line to install the builtins man page