(ARC) doc-dvi.zip
 (BIN) doc-html.tar.gz
 (ARC) doc-html.zip
 (BIN) doc-pdf.tar.gz
 (ARC) doc-pdf.zip
 (BIN) doc-ps.tar.gz
 (ARC) doc-ps.zip
 (ARC) doc-txt.zip