bin/docrun


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