diff options
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 8c3c586cd..7d02c9aa2 100644 --- a/.gitignore +++ b/.gitignore @@ -31,7 +31,7 @@ Doc/version.yo Doc/zsh*.1 Doc/zsh.texi Doc/zsh.info* -Doc/zsh*.html +Doc/*.html Doc/zsh.aux Doc/zsh.toc Doc/zsh.cp |