Finished release 0.2.4
[libdai.git] / Makefile.ALL
index b159a2f..a13c11c 100644 (file)
@@ -33,7 +33,7 @@ WITH_GIBBS=true
 WITH_CBP=true
 
 # Build doxygen documentation?
-WITH_DOC=true
+WITH_DOC=
 
 # Build with debug info?
 DEBUG=true