Revert "Merge pull request #705 from VictorLamoine/doxygen_improvments"

This reverts commit 5743ecb231d689a883674454d3bf1c1bf8c2bc58, reversing
changes made to 649ed559ac99675902e4bba619bff96395a315dd.