Processing commands for control@bugs.debian.org: > tags 742871 + upstream Bug #742871 [doxygen] Generates oddly named "Directory Reference" man pages including build path Added tag(s) upstream. > thanks Stopping processing here. Please contact me if you need assistance. -- 742871: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=742871 Debian Bug Tracking System Contact owner@bugs.debian.org with problems