push gh-pages merge even if no generated html changed
proper url to the examples in index.html
[auto] merged master into gh-pages