This directory contains documentation files in all forms, compiled from the current sources.

• html		html files for on-line browsing (same as plt/collecs/doc)
• pdf		pdf versions of the manuals