diff --git a/doc/.gitignore b/doc/.gitignore
index 0e49bf9f..5cfbeb4b 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -7,3 +7,7 @@ synopsis/categories-imagemap.html
 synopsis/categories.png
 
 gfdoc/sources.html
+
+rgl-publications.html
+status.html
+translation.html