On 26/04/2004, at 11:18 PM, Erling D. Andersen wrote:
Hi Roos,
Only .html .css and image files are needed for a completed site. The other files (e.g. the .pl ones) are for other purposes, as described above, while the site is still under construction, or for combining the site with other sites (labels.pl).
I guess also
.gif .png
are needed. But what if you build to same directory several times. I guess
then some garbage could be left if you change the document. For instance gifs and .pngs that are no longer needed.
Yes, that can happen. Or you can use -reuse 0 or -no_reuse , then all old images are removed, forcing fresh ones to be made.
You can even be left with old .html files if you change the -split level ($MAX_SPLIT_DEPTH ). These need to be removed explicitly, e.g. using rm in Unix.
Another possibility is to build several jobs in the same directory, using a different -prefix for each. The specified prefix string is then used with all the generated filenames, so that there is no clash between the different jobs.
Erling
Hope this helps,
Ross
*********************************************************************** *****
Denne mail er blevet scannet af http://www.virus112.com
*********************************************************************** *****
------------------------------------------------------------------------ Ross Moore [EMAIL PROTECTED] Mathematics Department office: E7A-419 Macquarie University tel: +61 +2 9850 8955 Sydney, Australia fax: +61 +2 9850 8114 ------------------------------------------------------------------------
_______________________________________________ latex2html mailing list [EMAIL PROTECTED] http://tug.org/mailman/listinfo/latex2html
