5 Commits

Author	SHA1	Message	Date
sfan5	10d68d06e6	build: move website rebuild into Linux/clang travis job ... The mingw ones will be removed in the next commit.	2021-05-16 01:55:37 +03:00
Ricardo Constantino	82ba31c636	TOOLS/travis-rebuild-website: update condition after docker transition ... Closes #6822	2019-07-30 20:12:33 +01:00
Ricardo Constantino	e0739378dd	travis: trigger website rebuild on VERSION changes too ... Needed to update the stable manual if no DOCS were changed.	2017-07-19 19:03:08 +01:00
Ricardo Constantino	d889d1fbaa	travis: trigger website rebuild only on docs changes	2016-09-04 18:05:36 +02:00
Stefano Pigozzi	e955ae9000	travis: rebuild website for updated docs on push	2016-09-04 13:29:11 +02:00