Update '.gitignore'
authorDavid Terei <davidterei@gmail.com>
Thu, 12 Jan 2012 20:01:10 +0000 (12:01 -0800)
committerDavid Terei <davidterei@gmail.com>
Fri, 13 Jan 2012 00:42:07 +0000 (16:42 -0800)
.gitignore

index 2bfec16..4897988 100644 (file)
@@ -125,6 +125,8 @@ _darcs/
 /docs/users_guide/ug-book.xml
 /docs/users_guide/ug-ent.xml
 /docs/users_guide/users_guide.xml
+/docs/users_guide/users_guide.pdf
+/docs/users_guide/users_guide.ps
 /docs/users_guide/users_guide/
 /docs/users_guide/what_glasgow_exts_does.gen.xml
 /driver/ghc/dist/
@@ -182,6 +184,7 @@ _darcs/
 /libraries/time/
 /libraries/*/dist-boot/
 /libraries/*/dist-install/
+/libraries/dist-haddock/
 /mk/are-validating.mk
 /mk/build.mk
 /mk/config.h