doxygen/doxygen — pull request #1 by daffodil (2013-05-20 20:56:26+00:00)
Title: .gitignore and INSTALL tidy

Yo Dimitri !
Welcone to github :-)

Small patch

regards
pete morgan