summaryrefslogtreecommitdiffstats
path: root/TOOLS/travis-rebuild-website
Commit message (Collapse)AuthorAgeFilesLines
* 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