27 lines
937 B
Diff
27 lines
937 B
Diff
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
|
|
|