diff options
Diffstat (limited to 'docs/man5')
| -rw-r--r-- | docs/man5/Makefile.am | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/docs/man5/Makefile.am b/docs/man5/Makefile.am index 8143932..f64636a 100644 --- a/docs/man5/Makefile.am +++ b/docs/man5/Makefile.am @@ -1,9 +1,11 @@ MAN5_FILES = \ tinyproxy.conf.txt -A2X_ARGS = \ - -d manpage \ - -f manpage +if HAVE_XMLLINT +A2X_ARGS = -d manpage -f manpage +else +A2X_ARGS = -d manpage -f manpage -L +endif man_MANS = \ $(MAN5_FILES:.txt=.5) |