X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=Makefile;h=9adae4062025283cc9dceb10ba71c10dc896d89b;hb=4c4549c822cca499e0815170c41587badb6b2a0f;hp=6e52c470bfd9568e0e62197162539970d23bc931;hpb=2bf2a3c476971e54cae9d5899730feef608d44d3;p=eval.git

diff --git a/Makefile b/Makefile
index 6e52c47..9adae40 100644
--- a/Makefile
+++ b/Makefile
@@ -2,9 +2,10 @@
 # (c) 2008--2012 Martin Mares <mj@ucw.cz>
 
 VERSION=2.0
+SHELL=/bin/bash
 
 # The default target
-all: runtree programs datafiles configs
+all:: runtree programs datafiles configs
 
 # Include configuration
 s=.
@@ -12,6 +13,10 @@ s=.
 obj/config.mk:
 	@echo "You need to run configure first." && false
 
+ifdef CONFIG_DOC
+all:: docs
+endif
+
 # We will use the libucw build system
 BUILDSYS=$(s)/build
 include $(BUILDSYS)/Maketop