diff --git a/.gitignore b/.gitignore index 43305ffe699477ff37f54d245bc7d20cee85c886..ee2960dbe13449ae8f4e8c143c53e9375cbe6939 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,4 @@ *.blg *.DS_Store *.tags* +*.html