Let git ignore generated HTML also in the root directory.