Do not install documentation if configure --disable-docs (new option)
authorIvan Maidanski <ivmai@mail.ru>
Thu, 3 Aug 2017 21:18:34 +0000 (00:18 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Wed, 20 Sep 2017 07:50:31 +0000 (10:50 +0300)
commit37dc98cbdc722115a1bf64212934c27d4f5296b3
tree0540b4836ff554eca4880b3569919c611c4e7cc7
parentfe6689d7ba6f6d56ea11cf057f8160c8c9bee527
Do not install documentation if configure --disable-docs (new option)

Issue #28 (libatomic_ops).

* Makefile.am (dist_doc_DATA): Define only if ENABLE_DOCS.
* doc/Makefile.am (dist_doc_DATA): Likewise.
* configure.ac (docs): New AC_ARG_ENABLE.
* configure.ac (ENABLE_DOCS): New AM_CONDITIONAL.
Makefile.am
configure.ac
doc/Makefile.am