diff options
Diffstat (limited to 'fixTexts.sh')
| -rwxr-xr-x | fixTexts.sh | 20 |
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 + |
