diff --git a/.travis.yml b/.travis.yml index 4bb34517e..cf88c543f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,6 +9,6 @@ script: - python travis/pr-check-base.py - python travis/lint.py - python travis/luac.py -- ./fixTexts.sh +- ./fixTexts.sh --force notifications: email: false diff --git a/fixTexts.sh b/fixTexts.sh index bfe4b402e..aeef9f0f5 100755 --- a/fixTexts.sh +++ b/fixTexts.sh @@ -1,6 +1,16 @@ #!/bin/bash # regenerate documentation after editing the .rst files. Requires python and docutils. +force= +while [ $# -gt 0 ] +do + case "$1" in + --force) force=1 + ;; + esac + shift +done + rst2html=$(which rst2html || which rst2html.py) if [[ -z "$rst2html" ]]; then echo "Docutils not found: See http://docutils.sourceforge.net/" @@ -22,7 +32,7 @@ cd `dirname $0` status=0 function process() { - if [ "$1" -nt "$2" ]; then + if [ "$1" -nt "$2" ] || [ -n "$force" ]; then echo -n "Updating $2... " if "$rst2html" --no-generator --no-datestamp "$1" "$2"; then echo "Done"