Deleted some of the batch files that aren't used, just using genhtml.bat now.