diff --git a/.gitignore b/.gitignore index 6ef041313..6c661bb85 100644 --- a/.gitignore +++ b/.gitignore @@ -30,3 +30,7 @@ site/api tools/generatejournal tools/simplebench Makefile.local +old +log +.ghci* +doc/[0-9]*