1
0
mirror of https://github.com/mpv-player/mpv synced 2024-12-23 15:22:09 +00:00
Commit Graph

3 Commits

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