doc: Stdin/err/out file descriptor sharing also happens under linux.
doc: Stdin/err/out file descriptor sharing also happens under linux.

	* doc/libport.tex: Mention it.

aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport