On Thu, Dec 11, Dmitry V. Levin wrote:
I bet you don't have w3m installed. According to configure.in,
ENABLE_REGENERATE_MAN is automatically turned off when at least one of
requirements is not met. The fun of the situation is that w3m is not used
to generate manual pages.
You are right, I think ENABLE_REGENERATE_DOC would be a better
name for this variable. It's about the whole documentation, including
README files and books, not only manual pages. They all build from the
same xml sources.
Thorsten
--
Thorsten Kukuk, Senior Architect SLES & Common Code Base
SUSE LINUX GmbH, Maxfeldstr. 5, 90409 Nuernberg, Germany
GF: Jeff Hawn, Jennifer Guild, Felix Imendörffer, HRB 21284 (AG Nürnberg)