[arch-dev-public] handling info files

Xavier shiningxc at gmail.com
Thu Sep 18 01:27:48 EDT 2008

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 :

More information about the arch-dev-public mailing list