mirror of
https://git.salome-platform.org/gitpub/modules/geom.git
synced 2025-05-29 00:47:49 +05:00
Avoid "No such file or directory" errors (make docs step)
This commit is contained in:
parent
50473d96c5
commit
22a36fd5e3
@ -16,7 +16,7 @@ VPATH=.:@srcdir@
|
|||||||
|
|
||||||
docs:
|
docs:
|
||||||
cp -fr $(srcdir)/GEOM ./
|
cp -fr $(srcdir)/GEOM ./
|
||||||
-find $(PWD) -name CVS -exec rm -rf {} \;
|
-find $(PWD) -name CVS -prune -exec rm -rf {} \;
|
||||||
|
|
||||||
usr_docs: docs
|
usr_docs: docs
|
||||||
|
|
||||||
@ -29,7 +29,7 @@ distclean: clean
|
|||||||
install:
|
install:
|
||||||
mkdir -p $(docdir)/gui
|
mkdir -p $(docdir)/gui
|
||||||
cp -rf GEOM $(docdir)/gui
|
cp -rf GEOM $(docdir)/gui
|
||||||
-find $(PWD) -name CVS -exec rm -rf {} \;
|
-find $(PWD) -name CVS -prune -exec rm -rf {} \;
|
||||||
|
|
||||||
uninstall:
|
uninstall:
|
||||||
rm -rf $(docdir)/gui/GEOM
|
rm -rf $(docdir)/gui/GEOM
|
||||||
|
Loading…
x
Reference in New Issue
Block a user