summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJames O'Gorman <james@netinertia.co.uk>2008-12-10 01:02:16 +0000
committerJames O'Gorman <james@netinertia.co.uk>2008-12-10 01:02:16 +0000
commit3077653386796225506c06c0d9db430903666309 (patch)
tree9095a552cc44d005b8c9ba22c51bfe2a5d2eace9 /docs
parent07d060c4db988e482cff6e3bfd5243716db889ac (diff)
Check for DocBook stylesheet on CentOS/RHEL
Diffstat (limited to 'docs')
-rw-r--r--docs/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile
index f85f6727..45d6db0b 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -38,6 +38,8 @@ $(MANXSL): $(MANXSL).tmpl
DOCBOOK=file:///usr/local/share/xsl/docbook/manpages/docbook.xsl; \
elif [ -f /opt/local/share/xsl/docbook-xsl/manpages/docbook.xsl ]; then \
DOCBOOK=file:///opt/local/share/xsl/docbook-xsl/manpages/docbook.xsl; \
+ elif [ -f /usr/share/sgml/docbook/xsl-stylesheets/manpages/docbook.xsl ]; then \
+ DOCBOOK=file:///usr/share/sgml/docbook/xsl-stylesheets/manpages/docbook.xsl; \
else \
DOCBOOK=http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl; \
fi; \