diff --git a/.gitignore b/.gitignore
index 741f356c..dcf7a104 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,7 +16,6 @@ bin/
 *.snm
 *.nav
 *.toc
-*.vrb
 *.pdf
 
 # don't ignore pdfs in here, they are published online
diff --git a/docs/papers/AnV/.gitignore b/docs/papers/AnV/.gitignore
index 4973a1bf..f00f0130 100644
--- a/docs/papers/AnV/.gitignore
+++ b/docs/papers/AnV/.gitignore
@@ -1,4 +1,3 @@
 #exclude generated files
 *.aux
 *.log
-*.vrb