diff --git a/.gitignore b/.gitignore
index 6838eb2..4ba1401 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,6 @@ tuos-logo/logo/*.jpg
 *.log
 auto
 *.out
+*.nav
+*.snm
+*.toc