Re: [arch-dev-public] handling info files

On Wed, Sep 17, 2008 at 7:23 PM, Andreas Radke <a.radke@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@workstation64 andyrtr]# du -ch /usr/share/info/ 21M /usr/share/info/ [root@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