Update documentation tree
Merge pull request #366 from emmanuel-keller/master

Update documentation tree