ad3d2fa719
page). This fixes PR pkg/4850 by Perry E. Metzger <perry@piermont.com>. Also while there, see that the section under which the info file in the dir file ends up is "Shells", not "Misc". (To be consistent with zsh)
22 lines
836 B
Text
22 lines
836 B
Text
*** doc/Makefile.in.orig Thu Jan 30 22:12:33 1997
|
|
--- doc/Makefile.in Wed Jan 21 00:13:58 1998
|
|
***************
|
|
*** 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,164 ----
|
|
-$(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 \
|
|
! --entry="* BASH: (bash). Bash Reference Manual." \
|
|
! -s "Shells" \
|
|
! --dir-file=$(infodir)/dir $(infodir)/bash.info; \
|
|
else true; fi
|
|
|
|
uninstall:
|