diff --git a/fixTexts.sh b/fixTexts.sh index aeef9f0f5..4d025121b 100755 --- a/fixTexts.sh +++ b/fixTexts.sh @@ -2,11 +2,14 @@ # regenerate documentation after editing the .rst files. Requires python and docutils. force= +reset= while [ $# -gt 0 ] do case "$1" in --force) force=1 ;; + --reset) reset=1 + ;; esac shift done @@ -32,7 +35,9 @@ cd `dirname $0` status=0 function process() { - if [ "$1" -nt "$2" ] || [ -n "$force" ]; then + if [ -n "$reset" ]; then + git checkout -- "$2" + elif [ "$1" -nt "$2" ] || [ -n "$force" ]; then echo -n "Updating $2... " if "$rst2html" --no-generator --no-datestamp "$1" "$2"; then echo "Done"