med-install-without-docs.patch
We think that building and installing the documentation should not
be the default behavior but reserved to interested users
dev_docs:
(cd salome && $(MAKE) $(AM_MAKEFLAGS) dev_docs)
+usr_docs:
+ (cd doxygen && $(MAKE) $(AM_MAKEFLAGS) html-local)
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}" ; \