Added script to build the reST files

1 files changed, 22 insertions, 0 deletions

diff --git a/docs/rebuild b/docs/rebuild
new file mode 100755
index 0000000..b8bef92
--- /dev/null
+++ b/docs/rebuild
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+NORMAL="DeveloperGuidelines Paste servers StyleGuide web/index"
+DOCTEST_BUILD="BlogTutorial TodoTutorial"
+
+for NAME in $NORMAL ; do
+    if [ -e "$NAME.html" -a ! "$NAME.html" -ot "$NAME.txt" ] ; then
+	echo "$NAME is up to date."
+	continue
+    fi
+    echo "Building $NAME."
+    rst2html.py "$NAME.txt" > "$NAME.html"
+done
+
+for NAME in $DOCTEST_BUILD ; do
+    if [ -e "$NAME.html" -a ! "$NAME.html" -ot "$NAME.txt" ] ; then
+	echo "$NAME is up to date."
+	continue
+    fi
+    echo "Building $NAME."
+    ../paste/test/doctest_webapp.py "$NAME.txt"
+done