doxygen (1.8.7-1) unstable; urgency=medium Doxygen no longer defaults to GENERATE_HTML=YES if no output format is specified. Your html documentation may go missing. -- Helmut Grohne Fri, 16 May 2014 19:30:15 +0200