diff options
author | Luca Falavigna <dktrkranz@debian.org> | 2010-01-02 20:56:27 +0100 |
---|---|---|
committer | Luca Falavigna <dktrkranz@debian.org> | 2010-01-02 20:56:27 +0100 |
commit | 72c578fd4b0b4a5a43e18594339ac4ff26c376dc (patch) | |
tree | cadaf3abe37a1066ceae933bc8fe7b75c85f56d2 /bin/docdiff | |
parent | 548ed1064f327bccc6e538806740d41ea2d928a1 (diff) |
Imported Upstream version 1.2.0.d20091224upstream/1.2.0.d20091224
Diffstat (limited to 'bin/docdiff')
-rw-r--r-- | bin/docdiff | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bin/docdiff b/bin/docdiff new file mode 100644 index 0000000..c565a04 --- /dev/null +++ b/bin/docdiff @@ -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 | diff $DIFFFLAGS $xml - + done +else + for a in $*; do + f=doc/user/$a.in + xml=doc/user/$a.xml + echo $f: + python bin/sconsoutput.py $f | diff $DIFFFLAGS $xml - + done +fi |