Fixing HTML doc generation scripts.