Notes about how to build and publish the documentation
Merge branch 'master' of github.com:mjambon/atdgen-doc into gh-pages
Translated the old atdgen tutorial to pandoc.
Merge remote-tracking branch 'origin/master' into gh-pages