diff --git a/.gitignore b/.gitignore
index 11d20bea..5cfd5e1c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,3 +46,4 @@ src/metacopy
 src/path-test
 src/taglist
 test/tmp/*
+doc/html