Lastest specification on successful travis build 4 auto-pushed to gh-pages