Merge commit 'upstream/1.2.0.d20100117'

1 files changed, 2 insertions, 2 deletions

diff --git a/bin/docrun b/bin/docrun
index 5ba4215..ad8ea9f 100644
--- a/bin/docrun
+++ b/bin/docrun
@@ -4,13 +4,13 @@ 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
+        python bin/scons-doc.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
+        python bin/scons-doc.py $f
     done
 fi