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~} <[EMAIL PROTECTED]> Home Page: http://gondor.apana.org.au/~herbert/ PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
