[master] add debian/ubuntu path for docbook-xsl to configure

diff --git a/configure b/configure
index e8d98515d19e55c2773b72fb9e50c11abc4f8841..b90f9d9c74cada7550a9ecefbcebfe0cbda623e2 100755 (executable)
--- a/configure
+++ b/configure
@@ -20226,7 +20226,7 @@ case "$docbook_path" in
 auto)
        { $as_echo "$as_me:${as_lineno-$LINENO}: result: auto" >&5
 $as_echo "auto" >&6; }
-       docbook_xsl_trees="/usr/pkg/share/xsl/docbook /usr/local/share/xsl/docbook /usr/share/xsl/docbook /opt/local/share/xsl/docbook-xsl"
+       docbook_xsl_trees="/usr/pkg/share/xsl/docbook /usr/local/share/xsl/docbook /usr/share/xsl/docbook /opt/local/share/xsl/docbook-xsl /usr/share/xml/docbook/stylesheet/docbook-xsl"
        ;;
 *)
        docbook_xsl_trees="$withval"

diff --git a/configure.in b/configure.in
index 43a00bf37d1a546a63483c1566ae303b4d7726cb..4145dc7455fc30f753c35f08df7a390cc0a3cb58 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -3994,7 +3994,7 @@ AC_ARG_WITH(docbook-xsl,
 case "$docbook_path" in
 auto)
        AC_MSG_RESULT(auto)
-       docbook_xsl_trees="/usr/pkg/share/xsl/docbook /usr/local/share/xsl/docbook /usr/share/xsl/docbook /opt/local/share/xsl/docbook-xsl"
+       docbook_xsl_trees="/usr/pkg/share/xsl/docbook /usr/local/share/xsl/docbook /usr/share/xsl/docbook /opt/local/share/xsl/docbook-xsl /usr/share/xml/docbook/stylesheet/docbook-xsl"
        ;;
 *)
        docbook_xsl_trees="$withval"