Commentaries

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 60db691..8709b08 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,7 @@
 _build
 *.native
 *.byte
+doc/*.ps
+doc/*.out
+doc/html/*
+tests/results/my.result
\ No newline at end of file