3 files changed, 33 insertions, 0 deletions
diff --git a/support/scripts/website-print-xml b/support/scripts/website-print-xml
new file mode 100755
index 0000000000..502e10be3c
--- /dev/null
+++ b/support/scripts/website-print-xml
@@ -0,0 +1,11 @@
+#!/bin/bash
+########################################################-*-Shell-script-*-####
+# Website-Print-XML Command
+##############################################################################
+# $Id$
+
+program="${0##*/}";
+source "${0%/*}/${program%%-*}.sh";
+"$program" "$@";
+
+##############################################################################
diff --git a/support/scripts/website-print-xml-distributions b/support/scripts/website-print-xml-distributions
new file mode 100755
index 0000000000..69f22093ed
--- /dev/null
+++ b/support/scripts/website-print-xml-distributions
@@ -0,0 +1,11 @@
+#!/bin/bash
+########################################################-*-Shell-script-*-####
+# Website-Print-XML-Distributions Command
+##############################################################################
+# $Id$
+
+program="${0##*/}";
+source "${0%/*}/${program%%-*}.sh";
+"$program" "$@";
+
+##############################################################################
diff --git a/support/scripts/website-print-xml-installers b/support/scripts/website-print-xml-installers
new file mode 100755
index 0000000000..933688d0fc
--- /dev/null
+++ b/support/scripts/website-print-xml-installers
@@ -0,0 +1,11 @@
+#!/bin/bash
+########################################################-*-Shell-script-*-####
+# Website-Print-XML-Installers Command
+##############################################################################
+# $Id$
+
+program="${0##*/}";
+source "${0%/*}/${program%%-*}.sh";
+"$program" "$@";
+
+##############################################################################