...

diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore
index 89abd8c992e2d2afa177b70e35ff2ee38d8bfe02..4c1a00d01ada5c1fcfb07b479e5b88036ab1dd59 100644 (file)
--- a/helm/ocaml/.cvsignore
+++ b/helm/ocaml/.cvsignore
@@ -6,4 +6,6 @@ config.log
 config.status
 configure
 libraries.ps
+libraries-complete.ps
 .dep.dot
+.alldep.dot