mirror of
https://git.freebsd.org/ports.git
synced 2025-06-15 09:40:35 -04:00
03edf9b7fc
- Takeover maintainership - Merge changes from shells/bash-devel this updates the port to 4.3 - Remove the now useless -devel ports - Document change in ports/MOVED Approved by: portmgr (bapt)
21 lines
753 B
Text
21 lines
753 B
Text
--- doc/Makefile.in.orig 2014-03-02 13:39:04.000000000 -0500
|
|
+++ doc/Makefile.in 2014-03-02 13:39:56.000000000 -0500
|
|
@@ -167,7 +167,7 @@
|
|
bashref.dvi: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
|
|
${SET_TEXINPUTS} $(TEXI2DVI) $(srcdir)/bashref.texi || { ${RM} $@ ; exit 1; }
|
|
|
|
-bashref.info: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
|
|
+bash.info: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
|
|
$(MAKEINFO) --no-split -I$(TEXINPUTDIR) $(srcdir)/bashref.texi
|
|
|
|
# can also use:
|
|
@@ -175,9 +175,6 @@
|
|
bashref.html: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
|
|
$(TEXI2HTML) -menu -monolithic -I $(TEXINPUTDIR) $(srcdir)/bashref.texi
|
|
|
|
-bash.info: bashref.info
|
|
- ${SHELL} ${INFOPOST} < $(srcdir)/bashref.info > $@ ; \
|
|
-
|
|
bash.txt: bash.1
|
|
bash.ps: bash.1
|
|
bash.html: bash.1 $(MAN2HTML)
|