Avoid "No such file or directory" errors (make docs step)

diff --git a/doc/salome/gui/Makefile.in b/doc/salome/gui/Makefile.in
index 3e392a2c8292f99866e6b5bd5090326f35b0b9f5..1b73ad808410f7569175e2c14877a606fe501940 100644 (file)
--- a/doc/salome/gui/Makefile.in
+++ b/doc/salome/gui/Makefile.in
@@ -16,7 +16,7 @@ VPATH=.:@srcdir@
 
 docs:
        cp -fr $(srcdir)/GEOM ./
-       -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 GEOM $(docdir)/gui
-       -find $(PWD) -name CVS -exec rm -rf {} \;
+       -find $(PWD) -name CVS -prune -exec rm -rf {} \;
 
 uninstall:
        rm -rf $(docdir)/gui/GEOM