bash/patches/bash-infotags.patch

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