diff options
Diffstat (limited to 'main/bash/bash-noinfo.patch')
| -rw-r--r-- | main/bash/bash-noinfo.patch | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/main/bash/bash-noinfo.patch b/main/bash/bash-noinfo.patch index dcb598a493..bf4f0956a4 100644 --- a/main/bash/bash-noinfo.patch +++ b/main/bash/bash-noinfo.patch @@ -1,12 +1,11 @@ -diff -Naur doc/Makefile.in.orig doc/Makefile.in ---- doc/Makefile.in.orig 2004-07-27 05:57:48.000000000 -0700 -+++ doc/Makefile.in 2005-02-11 22:44:49.000000000 -0800 -@@ -220,7 +220,7 @@ +--- a/doc/Makefile.in ++++ b/doc/Makefile.in +@@ -247,7 +247,7 @@ $(SHELL) $(SUPPORT_SRCDIR)/mkinstalldirs $(DESTDIR)$(htmldir) ; \ fi --install: info installdirs bash.info +-install: info installdirs +install: installdirs -$(INSTALL_DATA) $(srcdir)/bash.1 $(DESTDIR)$(man1dir)/bash${man1ext} -$(INSTALL_DATA) $(srcdir)/bashbug.1 $(DESTDIR)$(man1dir)/bashbug${man1ext} - # uncomment the next line to install the builtins man page + -$(INSTALL_DATA) $(OTHER_DOCS) $(DESTDIR)$(docdir) |