diff options
| -rw-r--r-- | docs/Makefile.in | 15 | ||||
| -rw-r--r-- | docs/configure.in | 1 |
2 files changed, 11 insertions, 5 deletions
diff --git a/docs/Makefile.in b/docs/Makefile.in index e6955d07e4..0a9f7086a8 100644 --- a/docs/Makefile.in +++ b/docs/Makefile.in @@ -22,6 +22,7 @@ PNMTOPNG = @PNMTOPNG@ PNMTOPS = @PNMTOPS@ HTML2TEXT = @HTML2TEXT@ PLUCKERBUILD = @PLUCKERBUILD@ +THUMBPDF = @THUMBPDF@ PDFLATEX = TEXINPUTS=xslt/latex:.: @PDFLATEX@ LATEX = TEXINPUTS=xslt/latex:.: @LATEX@ RM = @RM@ @@ -177,21 +178,25 @@ gpl.tex: $(WGET) http://www.gnu.org/licenses/gpl.tex latexfigures: $(LATEX_FIGURES) + +%.aux: %.tex + -$(PDFLATEX) $< +%.idx: %.aux + $(MAKEINDEX) `echo $< | sed -e 's/.aux//'` + # Adobe PDF files -$(PDFDIR)/%.pdf: %.tex latexfigures gpl.tex +$(PDFDIR)/%.pdf: %.tex %.aux %.idx latexfigures gpl.tex -$(PDFLATEX) $< - $(MAKEINDEX) `echo $< | sed -e 's/.tex//'` -$(PDFLATEX) $< + $(THUMBPDF) $(patsubst %.tex,%.pdf,$<) -$(PDFLATEX) $< mv $(patsubst %.tex,%.pdf,$<) $@ epsimages: $(HOWTODIR_IMAGES_EPS) # DVI files -$(DVIDIR)/%.dvi: %.tex epsimages gpl.tex - -$(LATEX) $< - $(MAKEINDEX) `echo $< | sed -e 's/.tex//'` +$(DVIDIR)/%.dvi: %.tex %.aux %.idx epsimages gpl.tex -$(LATEX) $< -$(LATEX) $< mv $(patsubst %.tex,%.dvi,$<) $@ diff --git a/docs/configure.in b/docs/configure.in index 2dff2192ae..b5de164dff 100644 --- a/docs/configure.in +++ b/docs/configure.in @@ -40,6 +40,7 @@ DOCS_TARGET_REQUIRE_PROGRAM(MAKEINDEX, makeindex, LATEX) DOCS_TARGET_REQUIRE_PROGRAM(WGET, wget, LATEX) DOCS_TARGET_REQUIRE_PROGRAM(PDFLATEX, pdflatex, PDF) DOCS_TARGET_REQUIRE_PROGRAM(EPSTOPDF, epstopdf, PDF) +DOCS_TARGET_REQUIRE_PROGRAM(THUMBPDF, thumbpdf, PDF) DOCS_TARGET_REQUIRE_PROGRAM(PNGTOPNM, pngtopnm, PS) DOCS_TARGET_REQUIRE_PROGRAM(PNMTOPS, pnmtops, PS) DOCS_TARGET_REQUIRE_PROGRAM(LATEX, latex, PS) |