summaryrefslogtreecommitdiff
path: root/bin/docrun
diff options
context:
space:
mode:
Diffstat (limited to 'bin/docrun')
-rw-r--r--bin/docrun16
1 files changed, 16 insertions, 0 deletions
diff --git a/bin/docrun b/bin/docrun
new file mode 100644
index 0000000..5ba4215
--- /dev/null
+++ b/bin/docrun
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+if test $# -eq 0; then
+ for f in doc/user/*.in; do
+ xml=doc/user/`basename $f .in`.xml
+ echo $f:
+ python bin/sconsoutput.py $f
+ done
+else
+ for a in $*; do
+ f=doc/user/$a.in
+ xml=doc/user/$a.xml
+ echo $f:
+ python bin/sconsoutput.py $f
+ done
+fi