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