summaryrefslogtreecommitdiff
path: root/bin/docupdate
diff options
context:
space:
mode:
authorLuca Falavigna <dktrkranz@debian.org>2010-01-02 20:56:35 +0100
committerLuca Falavigna <dktrkranz@debian.org>2010-01-02 20:56:35 +0100
commit64c458487151933ee0ba093cf4ac69e177d9be37 (patch)
treef6e3755704f53406eea85532e4ffe5d5ef50b7f0 /bin/docupdate
parent2aec9cc58398cac1376509a7d75edb83b41f984e (diff)
parent72c578fd4b0b4a5a43e18594339ac4ff26c376dc (diff)
Merge commit 'upstream/1.2.0.d20091224'
Diffstat (limited to 'bin/docupdate')
-rw-r--r--bin/docupdate16
1 files changed, 16 insertions, 0 deletions
diff --git a/bin/docupdate b/bin/docupdate
new file mode 100644
index 0000000..0e1631b
--- /dev/null
+++ b/bin/docupdate
@@ -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 > $xml
+ done
+else
+ for a in $*; do
+ f=doc/user/$a.in
+ xml=doc/user/$a.xml
+ echo $f:
+ python bin/sconsoutput.py $f > $xml
+ done
+fi