INFERNO

To add credo to an installation of Inferno, clone this repository,
then run these bind commands.  You may need to create /lib/do.

	bind -a $credorepo/lib/do/sh-inferno /lib/do
	bind -a $credorepo/man/1 /man/1
	bind -a $credorepo/sh-inferno /dis
	bind -a $credorepo/test/1 /test/1

credorepo¹ should contain the path to the credo repository, as written
in Inferno.  For example, from the host’s point of view, if the credo
repository is cloned under $emuroot in ², then credorepo is ³ within
Inferno.  If instead it is cloned in ⁴, and the host filesystem is
bound to /n/local, then credorepo is ⁵.
 ¹ $credorepo is here a convenience; credo itself doesn’t use it.  
 ² /usr/inferno/github/credo
 ³ /github/credo
 ⁴ /opt/src/github/credo
 ⁵ /n/local/opt/src/github/credo