Fix 'make' procedure bug: avoid 'no such file or directory' error messages

diff --git a/doc/salome/gui/Makefile.in b/doc/salome/gui/Makefile.in
index c8e9872ee92ac312e30e420daa914d5192286bcb..3f3617cc31479593c86c2bca319791a215258086 100644 (file)
--- a/doc/salome/gui/Makefile.in
+++ b/doc/salome/gui/Makefile.in
@@ -16,7 +16,7 @@ VPATH=.:@srcdir@
 
 docs:
        cp -fr $(srcdir)/VISU ./
-       -find $(PWD) -name CVS -exec rm -rf {} \;
+       -find $(PWD) -name CVS -prune -exec rm -rf {} \;
 
 usr_docs: docs
 
@@ -29,7 +29,7 @@ distclean: clean
 install:
        mkdir -p $(docdir)/gui
        cp -rf VISU $(docdir)/gui
-       -find $(PWD) -name CVS -exec rm -rf {} \;
+       -find $(PWD) -name CVS -prune -exec rm -rf {} \;
 
 uninstall:
        rm -rf $(docdir)/gui/VISU