> So the only way to
> print out the docs is a big hairy for () loop in the html
> directory?
For 5.5, yes. PDFs will return in the future.
> How do you at mitel print out the docs for proofing?
Today, for the documentation for our next version, we use PDFs.

For 5.5, HTML (or HTML Help) is your only choice.