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 /src | |
| 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 'src')
0 files changed, 0 insertions, 0 deletions