diff options
Diffstat (limited to 'docs/configure.in')
| -rw-r--r-- | docs/configure.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/configure.in b/docs/configure.in index c47ca5d3ee..2008d92a57 100644 --- a/docs/configure.in +++ b/docs/configure.in @@ -47,6 +47,7 @@ DOCS_TARGET_REQUIRE_PROGRAM(DVIPS, dvips, PS) DOCS_TARGET_REQUIRE_PROGRAM(PLUCKERBUILD, plucker-build, PLUCKER) DOCS_TARGET_REQUIRE_PROGRAM(HTML2TEXT, html2text, TXT) DOCS_TARGET_REQUIRE_PROGRAM(PERL, perl, UNDOCUMENTED) +DOCS_TARGET_REQUIRE_PROGRAM(XMLLINT, xmllint, VERIFY) DOCS_TARGET_REQUIRE_DIR([$SPECIFIED_SOURCEDIR ..], [source/configure.in], SAMBASOURCEDIR, UNDOCUMENTED) AC_MSG_RESULT([]) @@ -60,6 +61,7 @@ DOCS_DEFINE_TARGET(PS, LATEX, [PostScript versions], [ps]) DOCS_DEFINE_TARGET(HTML, ALL, [HTML versions], [html]) DOCS_DEFINE_TARGET(MANPAGES, ALL, [manpages], [manpages]) DOCS_DEFINE_TARGET(PLUCKER, HTML, [plucker versions], [plucker]) +DOCS_DEFINE_TARGET(VERIFY, ALL, [verifying docbook output], [verify]) DOCS_DEFINE_TARGET(UNDOCUMENTED, MANPAGES, [list of undocumented options], [undocumented]) DOCS_DEFINE_TARGET(TXT, HTML, [text versions], [txt]) |