diff --git a/doc/src/sgml/.cvsignore b/doc/src/sgml/.cvsignore
index 8b6c66a163f..ed986e3a76f 100644
--- a/doc/src/sgml/.cvsignore
+++ b/doc/src/sgml/.cvsignore
@@ -1,4 +1,6 @@
 html
+html-stamp
 man1
 man3
 man7
+man-stamp