Changes: First public release

RevBy: TrustMe

1 files changed, 41 insertions, 0 deletions

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