Add new Options flavors. (Hartmut Goebel)

2 files changed, 22 insertions, 1 deletions

diff --git a/bin/docrun b/bin/docrun
new file mode 100644
index 0000000..57ad202
--- /dev/null
+++ b/bin/docrun
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+if test $# -eq 0; then
+    for f in doc/user/*.in; do
+        sgml=doc/user/`basename $f .in`.sgml
+        echo $f:
+        python bin/sconsoutput.py $f
+    done
+else
+    for a in $*; do
+        f=doc/user/$a.in
+        sgml=doc/user/$a.sgml
+        echo $f:
+        python bin/sconsoutput.py $f
+    done
+fi
diff --git a/bin/files b/bin/files
index 574e17c..cc8bf10 100644
--- a/bin/files
+++ b/bin/files
@@ -10,7 +10,12 @@
 ./SCons/Node/FS.py
 ./SCons/Node/Python.py
 ./SCons/Node/__init__.py
-./SCons/Options.py
+./SCons/Options/__init__.py
+./SCons/Options/BoolOption.py
+./SCons/Options/EnumOption.py
+./SCons/Options/ListOption.py
+./SCons/Options/PackageOption.py
+./SCons/Options/PathOption.py
 ./SCons/Platform/__init__.py
 ./SCons/Platform/aix.py
 ./SCons/Platform/cygwin.py