[glom] Builds: Make --disable-documentation really work.
- From: Murray Cumming <murrayc src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [glom] Builds: Make --disable-documentation really work.
- Date: Thu, 2 Nov 2017 22:05:16 +0000 (UTC)
commit 7d05d0b704559ea845519873b4bd6382b5355837
Author: Murray Cumming <murrayc murrayc com>
Date: Thu Nov 2 23:03:15 2017 +0100
Builds: Make --disable-documentation really work.
Really don't try to build the user-guid if documentation has
been disabled.
Makefile.am | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/Makefile.am b/Makefile.am
index d5c7145..19bab02 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -43,7 +43,7 @@ endif
if ENABLE_DOCUMENTATION
yelp_doc_subdirs = docs/user-guide
else
-yelp_doc_subdirs = docs/user-guide
+yelp_doc_subdirs =
endif
SUBDIRS = po $(doc_subdirs) $(yelp_doc_subdirs)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]