summaryrefslogtreecommitdiffstats
path: root/TOOLS/travis-rebuild-website
Commit message (Collapse)AuthorAgeFilesLines
* TOOLS: remove obsolete travisCI-related scriptssfan52023-07-191-29/+0
|
* build: move website rebuild into Linux/clang travis jobsfan52021-05-161-1/+1
| | | | The mingw ones will be removed in the next commit.
* 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