2008/9/17 Andreas Radke <[EMAIL PROTECTED]>: > 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: > > [EMAIL PROTECTED] andyrtr]# du -ch /usr/share/info/ > 21M /usr/share/info/ > [EMAIL PROTECTED] 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 (Роман Кирилич) _______________________________________________ pacman-dev mailing list [email protected] http://archlinux.org/mailman/listinfo/pacman-dev
