[pacman-dev] handling info files

Roman Kyrylych roman.kyrylych at gmail.com
Sun Sep 21 06:02:14 EDT 2008


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.

-- 
Roman Kyrylych (Роман Кирилич)


More information about the pacman-dev mailing list