Move a bit closer to HTML generation without depending on the temp files
being in the current directory.

Be more careful cleaning up.

Correct an error in a comment.

Add recent additions to the dependencies for lib.dvi.
1 file changed