doxygen/doxygen — pull request #67 by groleo (2013-12-12 20:22:15+00:00)
Title: usage: make -d print dev doxygen options

Signed-off-by: Adrian Negreanu