2008/9/17 Andreas Radke <a.radke@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@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.
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 (Роман Кирилич)