From: vsr Date: Mon, 29 May 2006 07:45:05 +0000 (+0000) Subject: Avoid "No such file or directory" errors (make docs step) X-Git-Tag: V3_2_0rc~2 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=22a36fd5e3e7d7984da2ddc77faaf6496a5a8c55;p=modules%2Fgeom.git 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 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