.gitignore for generated html doc