diff --git a/docs/.cvsignore b/docs/.cvsignore index 282522db0342d8750454b3dc162493b5fc709cc8..09e145216bdb9bccfcd44f2098dd38a5aaeca9e0 100644 --- a/docs/.cvsignore +++ b/docs/.cvsignore @@ -1,2 +1,3 @@ Makefile Makefile.in +*html