Re: Bug#99532: bash: Missing symlinks for some man pages
On Mon, Jun 04, 2001 at 11:28:02AM +0200, Matthias Klose wrote:
> so we do have to provide all these man pages and manage them with
> alternatives among all the shells?
IMHO builtins should live in the shell's manpage, rather than having their
own entry. Otherwise you'll get into difficult situations with two shells
providing slightly different implementations of the same builtins.
--
Debian GNU/Linux 2.2 is out! ( http://www.debian.org/ )
Email: Herbert Xu ~{PmV>HI~} <herbert@gondor.apana.org.au>
Home Page: http://gondor.apana.org.au/~herbert/
PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
Reply to: