diff options
Diffstat (limited to 'docs/Makefile.in')
| -rw-r--r-- | docs/Makefile.in | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/docs/Makefile.in b/docs/Makefile.in index a67a095bbd..71b88e01e2 100644 --- a/docs/Makefile.in +++ b/docs/Makefile.in @@ -158,11 +158,15 @@ $(PDFDIR)/%.pdf: %.pdf mkdir -p $(@D) cp $< $@ -# Adobe PDF files -%.pdf: %.tex latexfigures +%.idx: %.tex latexfigures -$(PDFLATEX) $< + +%.ind: %.idx + $(MAKEINDEX) $< + +# Adobe PDF files +%.pdf: %.tex %.ind latexfigures -$(PDFLATEX) $< - $(MAKEINDEX) $* $(THUMBPDF) $*.pdf -$(PDFLATEX) $< @@ -175,7 +179,7 @@ $(DVIDIR)/%.dvi: %.dvi $(MAKE) $(shell $(XSLTPROC) --stringparam prepend "" --stringparam append ".eps" --stringparam role latex xslt/find-image-dependencies.xsl $(DOCBOOKDIR)/$*.xml) -$(LATEX) $< -$(LATEX) $< - $(MAKEINDEX) $* + $(MAKEINDEX) $*.idx -$(LATEX) $< %.eps: %.png |