Force rst files to be generated for travis builds

develop
lethosor 2015-03-04 18:26:59 -05:00
parent 52fb1858b2
commit e19123b71b
2 changed files with 12 additions and 2 deletions

@ -9,6 +9,6 @@ script:
- python travis/pr-check-base.py - python travis/pr-check-base.py
- python travis/lint.py - python travis/lint.py
- python travis/luac.py - python travis/luac.py
- ./fixTexts.sh - ./fixTexts.sh --force
notifications: notifications:
email: false email: false

@ -1,6 +1,16 @@
#!/bin/bash #!/bin/bash
# regenerate documentation after editing the .rst files. Requires python and docutils. # 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) rst2html=$(which rst2html || which rst2html.py)
if [[ -z "$rst2html" ]]; then if [[ -z "$rst2html" ]]; then
echo "Docutils not found: See http://docutils.sourceforge.net/" echo "Docutils not found: See http://docutils.sourceforge.net/"
@ -22,7 +32,7 @@ cd `dirname $0`
status=0 status=0
function process() { function process() {
if [ "$1" -nt "$2" ]; then if [ "$1" -nt "$2" ] || [ -n "$force" ]; then
echo -n "Updating $2... " echo -n "Updating $2... "
if "$rst2html" --no-generator --no-datestamp "$1" "$2"; then if "$rst2html" --no-generator --no-datestamp "$1" "$2"; then
echo "Done" echo "Done"