From 5e101a32087bbba18ebbcdf75faee3fff27f7168 Mon Sep 17 00:00:00 2001 From: Gustavo Zacarias 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 Signed-off-by: Thomas Petazzoni --- 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