From the UNIX command line the filter protex is passed over the documented code, generating a LaTeX document. There are a number of command line options which specify the type of LaTeX to be generated (e.g., raw LaTeX without heads), whether a complete document is generated, etc..
A complete description of the documentation steps, the precise conventions, the ProTeX keywords, examples, and the use of the tools can be found in the appendix A