summaryrefslogtreecommitdiffstats
path: root/TOOLS/travis-rebuild-website
Commit message (Expand)AuthorAgeFilesLines
* TOOLS/travis-rebuild-website: update condition after docker transitionRicardo Constantino2019-07-301-1/+1
* travis: trigger website rebuild on VERSION changes tooRicardo Constantino2017-07-191-1/+1
* 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