On 10/31/2011 05:03 PM, Pino Toscano wrote:
If they are not used at all, should we remove them from the dev
package?
No, given there are 16 or so sources using the poppler core API (most
were using an embedded xpdf source in the past).
I'm confused, should there not be a dependency (or suggestion) in place
for those headers that cannot be removed then?
Or are these 16 sources, that are using the core api, pulling in
themselves the additional dev packages they need?
That's why I said "installed" for all of them (I suspected you were
doing such search in the headers in the sources).
My original patch was against earlier version of the source package in
which some of those files were installed in the dev package, it seems I
didn't notice all the changes between that and the latest one in sid...
Regards,
Jussi
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
