diff options
Diffstat (limited to 'docs/configure.in')
| -rw-r--r-- | docs/configure.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/configure.in b/docs/configure.in index b958b4f28d..0014ce9583 100644 --- a/docs/configure.in +++ b/docs/configure.in @@ -87,8 +87,8 @@ 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(HTMLHELP, ALL, [HTML Help versions], [htmlhelp]) -DOCS_DEFINE_TARGET(HTMLMAN, ALL, [HTML versions of the manpages], [htmlman3 htmlman4]) -DOCS_DEFINE_TARGET(MANPAGES, ALL, [manpages], [manpages3 manpages4]) +DOCS_DEFINE_TARGET(HTMLMAN, ALL, [HTML versions of the manpages], [htmlman3]) +DOCS_DEFINE_TARGET(MANPAGES, ALL, [manpages], [manpages3]) DOCS_DEFINE_TARGET(PEARSON, ALL, [pearson-compatible XML], [pearson]) DOCS_DEFINE_TARGET(PLUCKER, HTML, [plucker versions], [plucker]) DOCS_DEFINE_TARGET(VALIDATE, ALL, [validating docbook output], []) |