freebsd-ports/shells/bash-devel/files/patch-doc_Makefile.in
Emanuel Haupt 46a134caae Add shells/bash-devel. The goal of this port is to have a more up to date
version of shells/bash.

This port has also been converted to use OPTIONSng.
2013-01-14 11:47:17 +00:00

18 lines
639 B
Text

--- doc/Makefile.in.orig Wed Dec 28 20:00:02 2005
+++ doc/Makefile.in Wed Dec 28 20:00:58 2005
@@ -161,14 +161,11 @@
bashref.dvi: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
${SET_TEXINPUTS} $(TEXI2DVI) $(srcdir)/bashref.texi
-bashref.info: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
+bash.info: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
$(MAKEINFO) --no-split -I$(TEXINPUTDIR) $(srcdir)/bashref.texi
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