diff options
Diffstat (limited to 'docs-xml/configure.ac')
| -rw-r--r-- | docs-xml/configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
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) |