diff options
Diffstat (limited to 'DOCS/xml/gen-html.xsl.sh')
| -rw-r--r-- | DOCS/xml/gen-html.xsl.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/DOCS/xml/gen-html.xsl.sh b/DOCS/xml/gen-html.xsl.sh new file mode 100644 index 0000000000..8e2704959c --- /dev/null +++ b/DOCS/xml/gen-html.xsl.sh @@ -0,0 +1,27 @@ +# +# Helper script to generate html.xsl. +# + +if test $# -ne 1; then + echo "Usage: $0 <path to chunk.xsl>" + exit 1 +fi + +if test -f "$1"; then :; else + echo "$0: file not found: \"$1\"" + exit 1 +fi + +cat << EOF +<?xml version="1.0" encoding="ISO-8859-1"?> +<!-- *************************************************** + This file is generated automatically. DO NOT EDIT. + *************************************************** --> +<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" + version="1.0"> + + <xsl:import href="$1"/> + <xsl:include href="html-common.xsl"/> + +</xsl:stylesheet> +EOF |