]> granicus.if.org Git - libatomic_ops/commit
projects / libatomic_ops / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fad46e) | patch
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>
Thu, 3 Aug 2017 21:30:26 +0000 (00:30 +0300)
commitd2def0829e6c1a5aa8fff28c17c970e09fdc2897
tree7f50ebd8415dee66d64d4d03a7401aeae838802dtree | snapshot
parent7fad46eb93ad3581fbb5bc86935403b9345f7901commit | diff
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 diff | blob | history
configure.ac diff | blob | history
doc/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.