diff options
-rw-r--r-- | build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,4 +1,6 @@ #!/bin/sh +# $Id$ + STYLE_SHEET="/usr/share/xml/docbook/xsl-stylesheets-1.75.1/html/docbook.xsl" if [ ! -r "$STYLE_SHEET" ] ; then STYLE_SHEET=$(find /usr/share/xml -name docbook.xsl | grep /html/) |