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 b66041b9d65e8e6574b90e68fbb03484d718fad5..16d233d8048b878bb04e73f1691a22d17f5c2d39 100644 (file)
--- a/doc/salome/gui/Makefile.am
+++ b/doc/salome/gui/Makefile.am
@@ -40,9 +40,11 @@ docs: usr_docs
 clean-local:
        -rm -fr GUI doxygen.bak
 
-install-data-local: usr_docs
-       $(INSTALL) -d $(DESTDIR)$(docdir)/gui
-       cp -rp GUI $(DESTDIR)$(docdir)/gui
+install-data-local:
+       if test -d GUI; then \
+       $(INSTALL) -d $(DESTDIR)$(docdir)/gui ; \
+       cp -rp GUI $(DESTDIR)$(docdir)/gui ; \
+       fi
 
 uninstall-local:
        rm -rf $(DESTDIR)$(docdir)/gui/GUI