Lastest PDFs on successful travis build 10 auto-pushed to gh-pages