aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 395053b..77acd01 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,7 @@ data/
tags
ml
objs/
+doc/*
+!doc/*.pdf
+!doc/*.tex
+*.gdb
Feel free to download, copy and edit any repo