summaryrefslogtreecommitdiffstats
path: root/TOOLS/travis-rebuild-website
Commit message (Collapse)AuthorAgeFilesLines
* TOOLS/travis-rebuild-website: update condition after docker transitionRicardo Constantino2019-07-301-1/+1
| | | | Closes #6822
* travis: trigger website rebuild on VERSION changes tooRicardo Constantino2017-07-191-1/+1
| | | | Needed to update the stable manual if no DOCS were changed.
* travis: trigger website rebuild only on docs changesRicardo Constantino2016-09-041-0/+5
|
* travis: rebuild website for updated docs on pushStefano Pigozzi2016-09-041-0/+24