[pacman-dev] handling info files

[Allan McRae]

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...