This is a script for parsing a latex log file and turning it into a reasonably looking HTML page w/ nav links.