1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-26 05:02:18 +00:00
freebsd-ports/shells/bash1/files/patch-ad
David E. O'Brien cd8572268b Bash version 1.17 was much more popular than I thought.
(deleted to save space on the CDROM since I thought few were still using it)
1999-03-30 01:31:43 +00:00

48 lines
1.2 KiB
Plaintext

*** documentation/Makefile.orig Mon Jun 12 03:45:55 1995
--- documentation/Makefile Mon Jun 16 19:30:13 1997
***************
*** 49,55 ****
$(RM) $@
${NROFF} -man $< > $@
! all: ps info dvi text
ps: bash.ps readline.ps article.ps
dvi: features.dvi features.ps
--- 49,55 ----
$(RM) $@
${NROFF} -man $< > $@
! all: info # ps dvi text
ps: bash.ps readline.ps article.ps
dvi: features.dvi features.ps
***************
*** 90,101 ****
installdirs:
-[ -d $(mandir) ] || mkdir $(mandir)
! -[ -d $(man3dir) ] || mkdir $(man3dir)
-[ -d $(infodir) ] || mkdir $(infodir)
install: all installdirs
$(INSTALL_DATA) bash.1 $(mandir)
! $(INSTALL_DATA) readline.3 $(man3dir)
$(INSTALL_DATA) features.info $(infodir)/bash.info
uninstall:
--- 90,102 ----
installdirs:
-[ -d $(mandir) ] || mkdir $(mandir)
! # -[ -d $(man3dir) ] || mkdir $(man3dir)
-[ -d $(infodir) ] || mkdir $(infodir)
install: all installdirs
$(INSTALL_DATA) bash.1 $(mandir)
! $(INSTALL_DATA) builtins.1 $(mandir)/bash_builtins.1
! # $(INSTALL_DATA) readline.3 $(man3dir)
$(INSTALL_DATA) features.info $(infodir)/bash.info
uninstall: