0021196: [CEA 456] Integration and merge modification for debian packages

We think that building and installing the documentation should not
be the default behavior but reserved to interested users

diff --git a/doc/salome/gui/Makefile.am b/doc/salome/gui/Makefile.am
index 0179632aa2cba4b3739886fd24f477668bee9feb..51cf5e4cc9249700adc2d8efad123c522509a64f 100644 (file)
--- a/doc/salome/gui/Makefile.am
+++ b/doc/salome/gui/Makefile.am
@@ -33,9 +33,11 @@ usr_docs: doxyfile
 
 docs: usr_docs
 
-install-data-local: usr_docs
-       $(INSTALL) -d $(DESTDIR)$(docdir)/gui
-       cp -rp KERNEL $(DESTDIR)$(docdir)/gui
+install-data-local:
+       if test -d KERNEL; then \
+       $(INSTALL) -d $(DESTDIR)$(docdir)/gui ; \
+       cp -rp KERNEL $(DESTDIR)$(docdir)/gui ; \
+       fi
 
 uninstall-local:
        rm -rf $(DESTDIR)$(docdir)/gui/KERNEL