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