On Thu, Feb 09, 2023 at 02:35:42PM +0000, Holger Levsen wrote: > control: tags -1 +moreinfo > thanks > > hi, > > (originally sent to the wrong (but archived) bug number...) > > we're not shipping the manual in .info format, so I'm wondering whether this > bug should simply be closed, or why not?
$ dpkg -L developers-reference | grep info /usr/share/info /usr/share/info/developers-reference.info.gz Cheers, -- Bill. <ballo...@debian.org> Imagine a large red swirl here.
