42 lines
1.3 KiB
Diff
42 lines
1.3 KiB
Diff
From 5e101a32087bbba18ebbcdf75faee3fff27f7168 Mon Sep 17 00:00:00 2001
|
|
From: Gustavo Zacarias <gustavo@zacarias.com.ar>
|
|
Date: Sat, 30 Aug 2014 14:42:00 +0200
|
|
Subject: [PATCH 1/2] Add support for DISABLE_DOCUMENTATION
|
|
|
|
This commit adds the support for a make variable named
|
|
"DISABLE_DOCUMENTATION", which allows to disable the build of the
|
|
documentation. This is useful in contexts where the tools needed to
|
|
build the documentation are not necessarily available.
|
|
|
|
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
|
|
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
|
|
---
|
|
Makefile | 9 +++++++--
|
|
1 file changed, 7 insertions(+), 2 deletions(-)
|
|
|
|
diff --git a/Makefile b/Makefile
|
|
index e721e99..926885f 100644
|
|
--- a/Makefile
|
|
+++ b/Makefile
|
|
@@ -57,10 +57,15 @@ btrfs_image_libs = -lpthread
|
|
btrfs_fragments_libs = -lgd -lpng -ljpeg -lfreetype
|
|
|
|
SUBDIRS =
|
|
-BUILDDIRS = $(patsubst %,build-%,$(SUBDIRS)) build-Documentation
|
|
-INSTALLDIRS = $(patsubst %,install-%,$(SUBDIRS)) install-Documentation
|
|
+BUILDDIRS = $(patsubst %,build-%,$(SUBDIRS))
|
|
+INSTALLDIRS = $(patsubst %,install-%,$(SUBDIRS))
|
|
CLEANDIRS = $(patsubst %,clean-%,$(SUBDIRS))
|
|
|
|
+ifneq ($(DISABLE_DOCUMENTATION),1)
|
|
+BUILDDIRS += build-Documentation
|
|
+INSTALLDIRS += install-Documentation
|
|
+endif
|
|
+
|
|
.PHONY: $(SUBDIRS)
|
|
.PHONY: $(BUILDDIRS)
|
|
.PHONY: $(INSTALLDIRS)
|
|
--
|
|
2.0.0
|
|
|