diff --git a/.gitignore b/.gitignore index b5302f0c5..2095871db 100644 --- a/.gitignore +++ b/.gitignore @@ -28,8 +28,9 @@ tttt.* ttttt.* profs/* test.hs -*/doc/*.[0-9].md -*/doc/*.info +*/doc/*.[0-9] +*/doc/*.[0-9].txt +*/doc/*.[0-9].info dist-newstyle/ cabal.project.local *~