diff --git a/doc/.gitignore b/doc/.gitignore
index b5c58be03d1..e532ed0eb9c 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -6,3 +6,5 @@ functions/library/locations.xml
 highlightjs
 manual-full.xml
 out
+result
+result-*