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