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

med-install-without-docs.patch
  We think that building and installing the documentation should not
be the default behavior but reserved to interested users

diff --git a/doc/doxygen/Makefile.am b/doc/doxygen/Makefile.am
index b49523f5f6ce6d7b261ee216c776606269b26e9d..367b53a93195ada4e84b0098ba0945850fd9c3bf 100644 (file)
--- a/doc/doxygen/Makefile.am
+++ b/doc/doxygen/Makefile.am
@@ -26,8 +26,10 @@ DOX_INPUT_FILE = Doxyfile_med_user
 guidocdir = $(docdir)/gui/MED
 guidoc_DATA = images/head.png
 
-install-data-local : html-local
-       $(INSTALL) -d $(DESTDIR)$(docdir)/gui/MED
+install-data-local :
+       @if test -d doc_ref_user; then                                  \
+       $(INSTALL) -d $(DESTDIR)$(docdir)/gui/MED;                      \
+       fi
        @if test -d doc_ref_user/html ; then                            \
          for filen in `find doc_ref_user/html -maxdepth 1 -type f` ; do\
            echo "Installing $${filen}" ;                               \