diff --git a/doc/Makefile.in b/doc/Makefile.in

index 5f0756c..a5fa5a0 100644

--- a/doc/Makefile.in

+++ b/doc/Makefile.in

@@ -74,7 +74,6 @@ TEXI2DVI    = ${SUPPORT_SRCDIR}/texi2dvi

 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

@@ -188,8 +187,8 @@ bashref.pdf: $(BASHREF_FILES) $(HSUSER) $(RLUSER)

 bashref.html: $(BASHREF_FILES) $(HSUSER) $(RLUSER)

 	$(MAKEINFO) --html --no-split -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

-- 

2.9.3