--- /dev/null
+#!/bin/sh
+
+XSLDIR=@prefix@/xslt
+
+stylesheet=$XSLDIR/html.xsl
+inputs=
+
+while [ $# -gt 0 ]
+do
+ case $1 in
+ -s)
+ stylesheet=$2
+ shift
+ ;;
+
+ -*)
+ echo Usage: $0 [-s stylesheet] file...
+ exit 1
+ ;;
+
+ *)
+ inputs=`echo $inputs $1`
+ ;;
+
+ esac
+ shift
+done
+#TMPFILE=`mktemp /tmp/xmldoc.XXXXXX`
+#xp $XSLDIR/preprocess.xsl $inputs >$TMPFILE
+xp $stylesheet $inputs