summaryrefslogtreecommitdiff
path: root/fixTexts.sh
diff options
context:
space:
mode:
Diffstat (limited to 'fixTexts.sh')
-rwxr-xr-xfixTexts.sh20
1 files changed, 16 insertions, 4 deletions
diff --git a/fixTexts.sh b/fixTexts.sh
index d58fe997..ff277338 100755
--- a/fixTexts.sh
+++ b/fixTexts.sh
@@ -1,6 +1,18 @@
#!/bin/bash
# regenerate documentation after editing the .rst files. Requires python and docutils.
-rst2html --no-generator --no-datestamp Readme.rst Readme.html
-rst2html --no-generator --no-datestamp Compile.rst Compile.html
-rst2html --no-generator --no-datestamp Lua\ API.rst Lua\ API.html
-rst2html --no-generator --no-datestamp Contributors.rst Contributors.html
+
+cd `dirname $0`
+
+function process() {
+ if [ "$1" -nt "$2" ]; then
+ rst2html --no-generator --no-datestamp "$1" "$2"
+ else
+ echo "$2 - up to date."
+ fi
+}
+
+process Readme.rst Readme.html
+process Compile.rst Compile.html
+process Lua\ API.rst Lua\ API.html
+process Contributors.rst Contributors.html
+