License of documentation

["Brian D. Carlstrom" <bdc@carlstrom.com>]

Lionel Elie Mamane writes:
 > The things in "doc/" from the tarball don't seem to bear a license of
 > their own. Does this mean they are under the license in "COPYING" (the
 > 3-clause BSD-ish license)?

That is my feeling. The authors of the manual are listed below, I
believe they all agree.

-bri

\author{Olin Shivers, Brian D.~Carlstrom, Martin Gasbichler, and Mike Sperber}