1234567891011121314151617181920212223242526 |
- 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
|