diff options
Diffstat (limited to 'doc/Makefile.in')
| -rw-r--r-- | doc/Makefile.in | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 72b7985..a38bc9e 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -59,6 +59,8 @@ QUIETPS = #set this to -q to shut up dvips PAPERSIZE = letter PSDPI = 600 DVIPS = dvips -D ${PSDPI} $(QUIETPS) -t ${PAPERSIZE} -o $@ # tricky +# experimental; uses external texi2dvi for now; this needs pdftex to be present +TEXI2PDF = texi2dvi --pdf # These tools might not be available; they're not required DVIPDF = dvipdfm -o $@ -p ${PAPERSIZE} @@ -101,6 +103,10 @@ DIST_DOCS = $(DVIOBJ) $(PSOBJ) $(HTMLOBJ) $(INFOOBJ) $(TEXTOBJ) $(PDFOBJ) $(RM) $@ -${DVIPDF} $< +#.texi.pdf: +# $(RM) $@ +# -${TEXI2PDF} $< + all: info dvi html ps text pdf nodvi: info html text @@ -170,9 +176,15 @@ history_3.ps: $(srcdir)/history.3 ${RM} $@ ${GROFF} -man < $(srcdir)/history.3 > $@ -readline.pdf: readline.dvi -history.pdf: history.dvi -rluserman.pdf: rluserman.dvi +readline.pdf: $(RLSRC) + TEXINPUTS=.:$(TEXINPUTDIR):$$TEXINPUTS $(TEXI2PDF) $(srcdir)/rlman.texi + mv rlman.pdf $@ + +history.pdf: $(HISTSRC) + TEXINPUTS=.:$(TEXINPUTDIR):$$TEXINPUTS $(TEXI2PDF) $(srcdir)/history.texi + +rluserman.pdf: $(RLSRC) + TEXINPUTS=.:$(TEXINPUTDIR):$$TEXINPUTS $(TEXI2PDF) $(srcdir)/rluserman.texi clean: $(RM) *.aux *.bak *.cp *.fn *.ky *.log *.pg *.toc *.tp *.vr *.cps \ |