diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-01-25 18:54:31 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-01-25 19:10:46 -0500 |
commit | ce245c842b5409cb961e49f7fd98cdbed05d07a0 (patch) | |
tree | 0c582f49fa2f2f15012c55b9eec307f1e3dbe3da /man | |
parent | f49ce89edf37a20abed923782dd8176d6c0e7166 (diff) |
build-sys: provide fallback value for xsltproc
Commit ab6f56debf made the change to allow building man pages even when disabled
with ./configure --disable-manpages. This works fine, as long as xsltproc is
present. If xsltproc is not present, the command to build a man page (obviously)
fails. Unfortnately it fails with a cryptic message '-o not found', because
$(XSLTPROC) is empty. Add a fallback, to use 'xsltproc' is $(XSLTPROC) is not
defined. This way we get a nice message:
make: xsltproc: Command not found
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions