aboutsummaryrefslogtreecommitdiffhomepage
path: root/TOOLS/travis-rebuild-website
Commit message (Collapse)AuthorAge
* travis: trigger website rebuild on VERSION changes tooGravatar Ricardo Constantino2017-07-19
| | | | Needed to update the stable manual if no DOCS were changed.
* travis: trigger website rebuild only on docs changesGravatar Ricardo Constantino2016-09-04
|
* travis: rebuild website for updated docs on pushGravatar Stefano Pigozzi2016-09-04