diff options
| -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 2008d92a57..2dff2192ae 100644 --- a/docs/configure.in +++ b/docs/configure.in @@ -59,6 +59,7 @@ DOCS_DEFINE_TARGET(LATEX, ALL, [LaTeX versions], [tex]) DOCS_DEFINE_TARGET(PDF, LATEX, [PDF versions], [pdf]) DOCS_DEFINE_TARGET(PS, LATEX, [PostScript versions], [ps]) DOCS_DEFINE_TARGET(HTML, ALL, [HTML versions], [html]) +DOCS_DEFINE_TARGET(HTMLMAN, ALL, [HTML versions of the manpages], [htmlman]) DOCS_DEFINE_TARGET(MANPAGES, ALL, [manpages], [manpages]) DOCS_DEFINE_TARGET(PLUCKER, HTML, [plucker versions], [plucker]) DOCS_DEFINE_TARGET(VERIFY, ALL, [verifying docbook output], [verify]) |