diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -10,7 +10,11 @@ PINGU_VERSION := $(shell \ export PINGU_VERSION -SUBDIRS := src doc +SUBDIRS := src + +ifdef ENABLE_DOC +SUBDIRS += doc +endif all: $(SUBDIRS) |