diff options
Diffstat (limited to 'readline/doc/Makefile.in')
| -rw-r--r-- | readline/doc/Makefile.in | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/readline/doc/Makefile.in b/readline/doc/Makefile.in index 89d8b47be5e..a38bc9eb4a8 100644 --- a/readline/doc/Makefile.in +++ b/readline/doc/Makefile.in @@ -16,6 +16,8 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. +PACKAGE_TARNAME = @PACKAGE_TARNAME@ + topdir = @top_srcdir@ srcdir = @srcdir@ VPATH = @srcdir@ @@ -24,6 +26,7 @@ prefix = @prefix@ datarootdir = @datarootdir@ +docdir = @docdir@ infodir = @infodir@ mandir = @mandir@ @@ -56,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} @@ -98,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 @@ -167,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 \ |