diff --git a/.gitignore b/.gitignore
index 7b41dfef3ed7be4d460042bda92dc581b361d23d..6cdc8baf1e8af0538c141f82e130cf4aa039f009 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 intro.html
 control.html
+types.html