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 Debian/IA64 non-US Build Daemon on January, 27 2005
using texi2html