[pacman-dev] handling info files
allan at archlinux.org
Sun Sep 21 06:43:17 EDT 2008
Roman Kyrylych wrote:
> 2008/9/17 Andreas Radke <a.radke at arcor.de>:
>> 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?
> I thought that 'zipman' in makepkg.conf do this for info pages too.
Yes, but the compressing of info pages is only on the master branch.
There is no automatic removing of the dir file but that would require
hard-coding a file name into makepkg which I am not too sure about...
More information about the pacman-dev