PR: make dist must copy from src

diff --git a/doc/salome/gui/Makefile.am b/doc/salome/gui/Makefile.am
index a4272f3a94037659f0e8696719889a3c817d3755..635272aecd49d2d620291ff2c4f5cd0d28b11cb0 100644 (file)
--- a/doc/salome/gui/Makefile.am
+++ b/doc/salome/gui/Makefile.am
@@ -7,6 +7,11 @@
 
 include $(top_srcdir)/salome_adm/unix/make_common_starter.am
 
+EXTRA_DIST = $(srcdir)/KERNEL
+
+dist-hook:
+       rm -rf `find $(distdir) -name CVS`
+
 userdoc:
        $(INSTALL) -d $(docdir)/gui; 
        cp -fr $(srcdir)/KERNEL $(docdir)/gui; 

diff --git a/doc/salome/tui/Makefile.am b/doc/salome/tui/Makefile.am
index 45d848baaa4d908282930ab6e68d397ec4bd7ffb..09511f9539bd1b3893e9524477370ae239e79ec2 100644 (file)
--- a/doc/salome/tui/Makefile.am
+++ b/doc/salome/tui/Makefile.am
@@ -7,6 +7,11 @@
 
 include $(top_srcdir)/salome_adm/unix/make_common_starter.am
 
+EXTRA_DIST = $(srcdir)/KERNEL
+
+dist-hook:
+       rm -rf `find $(distdir) -name CVS`
+
 userdoc:
        cp -fr $(srcdir)/KERNEL ./INPUT; \
        cd INPUT; \