Duncan Roe (2):
      build: dist: Add fixmanpages.sh to distribution tree
      configure: Make --help show doxygen is off by default

Florian Westphal (2):
      configure: add --with/without-doxygen switch
      configure: prepare for 1.0.5 release

Pablo Neira Ayuso (1):
      configure: disable doxygen by default