Update documentation tree
Merge pull request #365 from emmanuel-keller/1.5

Update documentation tree