diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/man5/Makefile.am | 8 | ||||
| -rw-r--r-- | docs/man8/Makefile.am | 8 |
2 files changed, 10 insertions, 6 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) diff --git a/docs/man8/Makefile.am b/docs/man8/Makefile.am index 930dcf6..ad4c010 100644 --- a/docs/man8/Makefile.am +++ b/docs/man8/Makefile.am @@ -1,9 +1,11 @@ MAN8_FILES = \ tinyproxy.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 = \ $(MAN8_FILES:.txt=.8) |