[#36] Add doxygen.php to makefile.