[arch-dev-public] handling info files

[Xavier]

On Wed, Sep 17, 2008 at 7: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.
>

I believe this mail answers your concern :
http://www.archlinux.org/pipermail/arch-general/2008-August/018448.html