The manual for direvent is available in the following formats:

(This page is generated by the gendocs.sh script.)