Add scripts for working with the User's Guide homebrew XML format.

1 files changed, 16 insertions, 0 deletions

diff --git a/bin/docupdate b/bin/docupdate
new file mode 100644
index 0000000..c4eedb8
--- /dev/null
+++ b/bin/docupdate
@@ -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 > $sgml
+    done
+else
+    for a in $*; do
+        f=doc/user/$a.in
+        sgml=doc/user/$a.sgml
+        echo $f:
+        python bin/sconsoutput.py $f > $sgml
+    done
+fi