Re: [25313] trunk/dports/shells/zsh-devel
On 2007-05-18 06:27:58 -0700, source_changes@macosforge.org wrote:
+post-destroot { + # This manpage only includes every zsh manpage; as manpages are gzipped in MacPorts, + # includes fail, so this one is useless. + delete ${destroot}${prefix}/share/man/man1/zshall.1
It would be better to fix the bug. FYI, the manpages are gzipped under Linux (Debian) too, and there's no problem with the zshall man page. But IMHO, it is probably better not to compress the manpages (that should be a way to solve the problem). Another problem with the gzipped man pages is that the man command sometimes freezes. And disk space on desktop machines are no longer a problem for things like man pages (if it is on some machines, then there should be an option[*] not to include the manpages). [*] e.g. a variant with a common name. Also note that deleting the zshall man page will give the user wrong information since "man zshall" will load the zshall man page that comes with Mac OS X. -- Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
participants (1)
-
Vincent Lefevre