If the "encoded" flag is set, some versions of prt (but not
the CSSC version) omit a newline in the output and so the next
thing follows immediately on the same line.
This document was generated
by MIPSEL Build Daemon on April, 16 2002
using texi2html