]> granicus.if.org Git - gc/commit
projects / gc / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc863bb) | patch
Do not install documentation if configure --disable-docs (new option)
authorIvan Maidanski <ivmai@mail.ru>
Thu, 3 Aug 2017 21:47:56 +0000 (00:47 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Mon, 7 Aug 2017 22:10:28 +0000 (01:10 +0300)
commitaba2fcec5f99e06a54eee636dd61ba15bd4d5e19
treea5d4cebb55166318e97f7b2d6dfcd9a571c8e9fatree | snapshot
parentbc863bbf0c8e5f159c741538ce2a1497f6c096a4commit | diff
Do not install documentation if configure --disable-docs (new option)
(Cherry-pick commit e2e1ba7 from 'master' branch.)

* 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.
configure.ac diff | blob | history
doc/doc.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.