These are our doxygen configs for generating html and pdf developer info