From 22a36fd5e3e7d7984da2ddc77faaf6496a5a8c55 Mon Sep 17 00:00:00 2001 From: vsr Date: Mon, 29 May 2006 07:45:05 +0000 Subject: [PATCH] Avoid "No such file or directory" errors (make docs step) --- doc/salome/gui/Makefile.in | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/salome/gui/Makefile.in b/doc/salome/gui/Makefile.in index 3e392a2c8..1b73ad808 100644 --- 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 -- 2.39.2