diff options
Diffstat (limited to 'shells/bash2/patches/patch-aa')
| -rw-r--r-- | shells/bash2/patches/patch-aa | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/shells/bash2/patches/patch-aa b/shells/bash2/patches/patch-aa new file mode 100644 index 00000000000..16d0302deba --- /dev/null +++ b/shells/bash2/patches/patch-aa @@ -0,0 +1,21 @@ +*** doc/Makefile.in.bak Fri Jan 31 00:12:33 1997 +--- doc/Makefile.in Sat Jun 28 02:23:01 1997 +*************** +*** 155,161 **** + -$(INSTALL_DATA) $(srcdir)/bashref.info $(infodir)/bash.info + # run install-info if it is present to update the info directory + if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ +! install-info --dir-file=$(infodir)/dir $(infodir)/bash.info; \ + else true; fi + + uninstall: +--- 155,163 ---- + -$(INSTALL_DATA) $(srcdir)/bashref.info $(infodir)/bash.info + # run install-info if it is present to update the info directory + if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ +! install-info \ +! --defentry="* BASH: (bash). Bash Reference Manual." \ +! --dir-file=$(infodir)/dir $(infodir)/bash.info; \ + else true; fi + + uninstall: |