diff --git a/.gitignore b/.gitignore
index 9a33e66..383b426 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,8 +37,5 @@ Makefile*
 # Dolphin
 .directory
 
-# documentation
-/doc
-
 # tests
 testfiles/output.*