diff --git a/DOCS/.cvsignore b/DOCS/.cvsignore index f05185c383..156e424687 100644 --- a/DOCS/.cvsignore +++ b/DOCS/.cvsignore @@ -1 +1,2 @@ HTML +HTML-single