X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=Makefile;h=86f91d8638841bc6541e6f50df461c8a21932ece;hb=1636b318830d64ec5c393d1a2d043f595f0342c4;hp=6e52c470bfd9568e0e62197162539970d23bc931;hpb=2bf2a3c476971e54cae9d5899730feef608d44d3;p=eval.git

diff --git a/Makefile b/Makefile
index 6e52c47..86f91d8 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@
 VERSION=2.0
 
 # The default target
-all: runtree programs datafiles configs
+all:: runtree programs datafiles configs
 
 # Include configuration
 s=.
@@ -12,6 +12,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