summaryrefslogtreecommitdiffstats
path: root/bin/docrun
blob: 5ba4215c50a1d530096124e417d56b6715da40d1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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