Note: 

Remember to call: 

../../scripts/eigen_headers_change_doxygen_grouping.sh

after each update of Eigen sources, so the Doxygen documentation is better grouped.


