Minor edit
Merge branch 'master' of github.com:mjambon/atdgen-doc into gh-pages
Publish