On Thu, May 8, 2014 at 2:43 PM, Paul Wise wrote: > You may have missed the maintainer's take on this: > > /usr/share/doc/doxygen/README.jquery > http://sources.debian.net/src/doxygen/1.8.6-2/debian/README.jquery Woops, I confused doxygen with docbook2x. The situation sounds similar though. -- bye, pabs http://wiki.debian.org/PaulWise