31 lines
1.2 KiB
Diff
31 lines
1.2 KiB
Diff
--- bash-3.1/doc/Makefile.in.infotags 2006-07-12 13:57:18.000000000 +0100
|
|
+++ bash-3.1/doc/Makefile.in 2006-07-12 13:58:25.000000000 +0100
|
|
@@ -69,7 +69,6 @@
|
|
TEXI2HTML = ${SUPPORT_SRCDIR}/texi2html
|
|
MAN2HTML = ${BUILD_DIR}/support/man2html
|
|
HTMLPOST = ${srcdir}/htmlpost.sh
|
|
-INFOPOST = ${srcdir}/infopost.sh
|
|
QUIETPS = #set this to -q to shut up dvips
|
|
PAPERSIZE = letter # change to a4 for A4-size paper
|
|
PSDPI = 600 # could be 300 if you like
|
|
@@ -146,7 +145,7 @@
|
|
|
|
PSFILES = bash.ps bashbug.ps article.ps builtins.ps rbash.ps
|
|
DVIFILES = bashref.dvi bashref.ps
|
|
-INFOFILES = bashref.info
|
|
+INFOFILES = bashref.info bash.info
|
|
MAN0FILES = bash.0 bashbug.0 builtins.0 rbash.0
|
|
HTMLFILES = bashref.html bash.html
|
|
PDFFILES = bash.pdf bashref.pdf article.pdf rose94.pdf
|
|
@@ -167,8 +166,8 @@
|
|
bashref.html: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
|
|
$(TEXI2HTML) -menu -monolithic -I $(TEXINPUTDIR) $(srcdir)/bashref.texi
|
|
|
|
-bash.info: bashref.info
|
|
- ${SHELL} ${INFOPOST} < $(srcdir)/bashref.info > $@ ; \
|
|
+bash.info: $(BASHREF_FILES) $(HSUSER) $(RLUSER)
|
|
+ $(MAKEINFO) --no-split -I$(TEXINPUTDIR) $(srcdir)/bashref.texi -o $@
|
|
|
|
bash.txt: bash.1
|
|
bash.ps: bash.1
|