diff options
| -rw-r--r-- | docs-xml/Makefile.settings.in | 1 | ||||
| -rw-r--r-- | docs-xml/configure.ac | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/docs-xml/Makefile.settings.in b/docs-xml/Makefile.settings.in index 254ac6be00..3aff7271cf 100644 --- a/docs-xml/Makefile.settings.in +++ b/docs-xml/Makefile.settings.in @@ -16,6 +16,7 @@ COPY_IMAGES = ./scripts/copy-images.sh THUMBPDF = @THUMBPDF@ PDFLATEX = @PDFLATEX@ --file-line-error-style LATEX = @LATEX@ --file-line-error-style +DBLATEX = @DBLATEX@ FOP = @FOP@ RM = @RM@ PERL = @PERL@ diff --git a/docs-xml/configure.ac b/docs-xml/configure.ac index 02e5c5d78b..ef25de25d7 100644 --- a/docs-xml/configure.ac +++ b/docs-xml/configure.ac @@ -51,6 +51,7 @@ DOCS_TARGET_REQUIRE_PROGRAM(PNGTOPNM, pngtopnm, PS) DOCS_TARGET_REQUIRE_PROGRAM(PNMTOPS, pnmtops, PS) DOCS_TARGET_REQUIRE_PROGRAM(LATEX, latex, PS) DOCS_TARGET_REQUIRE_PROGRAM(DVIPS, dvips, PS) +DOCS_TARGET_REQUIRE_PROGRAM(DBLATEX, dblatex, LATEX) DOCS_TARGET_REQUIRE_PROGRAM(PLUCKERBUILD, plucker-build, PLUCKER) DOCS_TARGET_REQUIRE_PROGRAM(HTML2TEXT, html2text, TXT) DOCS_TARGET_REQUIRE_PROGRAM(PERL, perl, UNDOCUMENTED) |