Ignore html files generated by webmaker.
diff --git a/Doc/ref/.cvsignore b/Doc/ref/.cvsignore
index 0803136..8511a55 100644
--- a/Doc/ref/.cvsignore
+++ b/Doc/ref/.cvsignore
@@ -3,3 +3,4 @@
 *.MIF
 *.ps
 *.auto
+ref-*[0-9].html