diff --git a/.gitignore b/.gitignore
index d3083b3..198c468 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
-*.vo
+*.vo*
 *.glob
 *.v.d
+*~
+*.aux