From 0299123821c6c6367c23f59e135737f32b26c898 Mon Sep 17 00:00:00 2001 From: Tomas Junnonen Date: Mon, 15 Feb 2010 14:54:48 +0200 Subject: Changes: First public release RevBy: TrustMe --- doc/generateSettingsLanguageDocs.sh | 41 +++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100755 doc/generateSettingsLanguageDocs.sh (limited to 'doc/generateSettingsLanguageDocs.sh') diff --git a/doc/generateSettingsLanguageDocs.sh b/doc/generateSettingsLanguageDocs.sh new file mode 100755 index 00000000..ac0a3d8d --- /dev/null +++ b/doc/generateSettingsLanguageDocs.sh @@ -0,0 +1,41 @@ +#!/bin/bash + +XSLT_TOOL= + +which xsltproc > /dev/null +if [ "$?" -ne "0" ] ; then + which xmlstarlet > /dev/null + if [ "$?" -ne "0" ] ; then + echo "No XSLT tool found. Try installing either 'xsltproc' or 'xmlstarlet'" + # Let's return 0 for now although this is an error case so "make" doesn't stop here + exit 0 + else + XSLT_TOOL=xmlstarlet + fi +else + XSLT_TOOL=xsltproc +fi + +# Change to the directory of the script +cd `dirname "$0"` + +OUTPUT=./html/settingslanguageschema.html +if [ "$1" != "" ]; then + OUTPUT="$1/$OUTPUT" +fi + +XSL=./rng-to-html.xsl +RELAXNG=../tools/settingslanguage/settings.rng + +if [ "$XSLT_TOOL" = "xsltproc" ] ; then + xsltproc --output $OUTPUT $XSL $RELAXNG +fi + +if [ "$XSLT_TOOL" = "xmlstarlet" ] ; then + xmlstarlet tr $XSL $RELAXNG > $OUTPUT +fi + +# Return to the previous directory +cd - >/dev/null + +exit 0 -- cgit v1.2.3