summaryrefslogtreecommitdiffstats
path: root/TOOLS/travis-rebuild-website
Commit message (Expand)AuthorAgeFilesLines
* TOOLS: remove obsolete travisCI-related scriptssfan52023-07-191-29/+0
* build: move website rebuild into Linux/clang travis jobsfan52021-05-161-1/+1
* 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