[pacman-dev] handling info files

[Aaron Griffin]

On Wed, Sep 17, 2008 at 12:23 PM, Andreas Radke <a.radke at arcor.de> wrote:
> Now that we decided that we want to ship info documentation we
> should decide how to package such files: info files could be gzipped by
> makepkg or stay uncompressed.
>
> On my system they already take quiet a lot of space compared to much
> more packages shipping man-pages:
>
> [root at workstation64 andyrtr]# du -ch /usr/share/info/
> 21M     /usr/share/info/
> [root at workstation64 andyrtr]# du -sch /usr/share/man
> 61M     /usr/share/man
>
> Some are really big like gcc.info being 1.8mb uncompressed. I vote for
> auto-gzipping the info pages like man-pages.
>
> And shouldn't we check and remove the $pkgdir/usr/share/info/dir
> file that every pkg with info files produces?
>
> Maybe we can also print at the end of the makepkg run an array of
> found info files the packager should put into the *.install file. Right
> now we use the proto-info.install shipped with the "abs" pkg. An
> automated solution would be also nice for that.
>
> Opinions?

Hmm, I've been thinking about this too, but I was hoping to avoid
special-case code for some of this. But maybe we should, at least,
automate the removal of the dir file...
With regard to printing info files, that seems easy enough with
something like "tar tzf <pkgfile> | grep info"