1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 4685866..c5bf36c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ core
 .gdb_history
 travnik.patch
 configfile.ben
+doc/