From: Ivan Maidanski Date: Thu, 3 Aug 2017 21:47:56 +0000 (+0300) Subject: Do not install documentation if configure --disable-docs (new option) X-Git-Tag: v8.0.0~617 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e2e1ba7fc7bd867100a9cc36adbf487b17edfa7e;p=gc Do not install documentation if configure --disable-docs (new option) * configure.ac (docs): New AC_ARG_ENABLE. * configure.ac (ENABLE_DOCS): New AM_CONDITIONAL. * doc/doc.am (dist_doc_DATA): Define only if ENABLE_DOCS. --- diff --git a/configure.ac b/configure.ac index 8190cef1..5826eebe 100644 --- a/configure.ac +++ b/configure.ac @@ -965,6 +965,11 @@ if test "$enable_gcov" = "yes"; then CXXFLAGS=`echo "$CXXFLAGS" | sed -e 's/-O\(1\|2\|3\|4\|s\|fast\)\?//g'` fi +AC_ARG_ENABLE(docs, + [AC_HELP_STRING([--disable-docs], + [Do not build and install documentation])]) +AM_CONDITIONAL(ENABLE_DOCS, test x$enable_docs != xno) + # Atomic Ops # ---------- diff --git a/doc/doc.am b/doc/doc.am index 73197ac9..1eec9f90 100644 --- a/doc/doc.am +++ b/doc/doc.am @@ -11,7 +11,7 @@ ## Process this file with automake to produce Makefile.in. # installed documentation -# +if ENABLE_DOCS dist_doc_DATA = \ AUTHORS \ README.md \ @@ -47,3 +47,4 @@ dist_doc_DATA = \ doc/scale.md \ doc/simple_example.md \ doc/tree.md +endif