4 Commits

Author	SHA1	Message	Date
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