diff options
author | Dan Nicholson <dbn.lists@gmail.com> | 2009-01-13 15:54:35 -0800 |
---|---|---|
committer | Dan Nicholson <dbn.lists@gmail.com> | 2009-01-13 15:54:35 -0800 |
commit | d0326fe8cdbb08d4f52d79fd3fd4e1b2a0951d5e (patch) | |
tree | 0333e82e3852c74d3d9abd4ef2175d6484926911 /man | |
parent | 9911b7846ca2cedf08a963c84efe7907438975c1 (diff) |
Fix build when xmlto is not available
When xmlto is not available, make bombs since it has no way to generate
the man pages from the XI.xml. This returns the man page installation to
only occuring when xmlto is available. Unfortunately, this means they
will also not be installed when the generated pages are distributed.
Signed-off-by: Dan Nicholson <dbn.lists@gmail.com>
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 68aac3b..0942146 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -89,7 +89,9 @@ CLEANFILES = $(libman_DATA) $(BUILT_SOURCES) MAINTAINERCLEANFILES = $(libman_PRE) +if HAVE_XMLTO libman_DATA = $(libman_PRE:man=@LIB_MAN_SUFFIX@) +endif SED = sed |