MrSpidey Documentation

The online documentation can be viewed directly. Archived documentation is available for downloading in three different formats using a variety of compression utilities.

(The platform annotations below are simply suggestions. They identify which formats are most likely to be useful on certain platforms.)

HTML

Each document is available as a collection of HTML files in a directory. For example, "mrspidey/mrspidey.html" (Unix/Windows) or ":mrspidey:mrspidey.html" (Macintosh) is the starting page of the MrSpidey document. The HTML files can be viewed with any HTML browser, such as Netscape. (In Netscape, "Open File..." browses an HTML file that is stored on your local filesystem.)

The archive comes with a top-level "index.html" and "icons" directory that is the same for all PLT HTML documentation archives. When all PLT HTML archives are unpacked to the same destination directory, the complete PLT documentation is in place.

• tarred and gzipped (Unix and Macintosh) : The HTML files are bundled into a directory that was archived using tar and then compressed with gzip.   See also Macintosh tools.
• zipped (Microsoft Windows) : The HTML files are bundled into a zip archive.

PostScript

Each document is available as a PostScript file. The PostScript files can be printed to any PostScript printer or viewed with a PostScript previewing utility (such as ghostview).

The documentation is typeset for double-sided printing, but the files do not contain PostScript directives to enable double-sided printing.

• Uncompressed (All) : Each PostScript file is uncompressed.
• gzipped (Unix and Macintosh) : Each PostScript file is compressed with gzip.   See also Macintosh tools.
• zipped (Microsoft Windows) : Each PostScript file is compressed with zip.

DVI

Each document is available as a DVI file (generated by LaTeX). The DVI files can be viewed or printed with DVI utilities such as xdvi or dvips.

The documentation is typeset for double-sided printing.

• Uncompressed (Unix) : Each DVI file is uncompressed.
• gzipped (Unix) : Each DVI file is compressed with gzip.

Back to the MrSpidey Home Page

PLT