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

med-usr-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/Makefile.am b/doc/Makefile.am
index 009fce1dce9dfd3c7553ac71711cd543d76973b2..9d0407e3af73ee9438c19ed00679ed0f07fd3c6e 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -22,3 +22,5 @@ SUBDIRS = MEDMEM salome doxygen
 dev_docs:
        (cd salome && $(MAKE) $(AM_MAKEFLAGS) dev_docs)
 
+usr_docs:
+       (cd doxygen && $(MAKE) $(AM_MAKEFLAGS) html-local)