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 9e391c74a6e6952bf42143fc9a9c23a7806ef3d1..48512c760f601aeb34b4a978cf11959ed1f7b9fb 100644 (file)
--- a/doc/salome/gui/Makefile.in
+++ b/doc/salome/gui/Makefile.in
@@ -16,7 +16,7 @@ VPATH=.:@srcdir@
 
 docs:
        cp -fr $(srcdir)/SMESH ./
-       -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 SMESH $(docdir)/gui
-       -find $(PWD) -name CVS -exec rm -rf {} \;
+       -find $(PWD) -name CVS -prune -exec rm -rf {} \;
 
 uninstall:
        rm -rf $(docdir)/gui/SMESH