Many of these notes are only of interest to ISI people. I am including them in this publicly readable area so that others might benefit as well. They may contain references to the way things are done at ISI. --Steve Augart

Automatically Generated Files

Some files in the Prospero distribution and in our FTP area are (or should be) generated from other files. Here is a list of them:

In the doc directory of Prospero, all of the files whose names end in .tex are LaTeX format.
If you modify any of them, they should be converted into PostScript files (whose names end in .PS) in that directory. To do this, follow these instructions
```
latex filename.tex
# Run LaTeX a second time in order to get the cross-references and 
# table numbers right.
latex filename.tex
# Now generate the PostScript file
dvips -o filename.PS filename.dvi
```
.tex files are also converted into HTML files (browsable) using latex2html. At ISI, you will find it in ~d7unsupp/bin.sun4/latex2html. Type:
```
latex2html filename.tex
```
This will create an HTML directory named filename in the directory you worked in. This needs to be put into the public HTTP area at ISI. It also needs to become a committed part of the Prospero distribution.
As of this writing, we are not yet satisfied with the output, but it is certainly better than nothing.
The manual for latex2html is here.