doc is not deleted between builds anymore
Merge branch 'master' of github.com:jarnoux/rig