I'm not sure that it would solve the issue, but shouldn't the dependency on libjs-jquery introduced in revision 6620, be demoted to a suggestion? I don't see a reason why I would want the library to read the documentation.
-- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140425204941.3d076701.ga...@folkemagt.dk