diff options
| author | Mike Gilbert <floppym@gentoo.org> | 2014-02-23 11:21:13 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-24 00:20:25 -0500 |
| commit | 4ca39b280fce3c60d2fdecbd478fd9bf7f9d3e64 (patch) | |
| tree | 5a88e57aa35feef916219344f5143c819aaa99f3 /TODO | |
| parent | f5080e738512f92564e272d5dcbb357a1eceaa18 (diff) | |
configure: Do not require xsltproc for installation of man pages
The release tarballs ship with pre-generated man pages, so we do not
need xsltproc for a typical end-user build.
Developers will probably have xsltproc anyway, but if not they will now
encounter a build-time failure instead of an error in configure.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions