* Build HTML, text, and PDF versions of the documentation from source.