diff options
Diffstat (limited to 'system/bash/bash-noinfo.patch')
| -rw-r--r-- | system/bash/bash-noinfo.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/system/bash/bash-noinfo.patch b/system/bash/bash-noinfo.patch new file mode 100644 index 000000000..bf4f0956a --- /dev/null +++ b/system/bash/bash-noinfo.patch @@ -0,0 +1,11 @@ +--- a/doc/Makefile.in ++++ b/doc/Makefile.in +@@ -247,7 +247,7 @@ + $(SHELL) $(SUPPORT_SRCDIR)/mkinstalldirs $(DESTDIR)$(htmldir) ; \ + fi + +-install: info installdirs ++install: installdirs + -$(INSTALL_DATA) $(srcdir)/bash.1 $(DESTDIR)$(man1dir)/bash${man1ext} + -$(INSTALL_DATA) $(srcdir)/bashbug.1 $(DESTDIR)$(man1dir)/bashbug${man1ext} + -$(INSTALL_DATA) $(OTHER_DOCS) $(DESTDIR)$(docdir) |