was building a bit too fast

[build.git] / planetlab.mk

diff --git a/planetlab.mk b/planetlab.mk
index d91b570..a762886 100644 (file)
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -342,4 +342,4 @@ ALL += myplc-native
 
 myplc-docs-MODULES := MyPLC PLCAPI NodeManager
 myplc-docs-SPEC := myplc-docs.spec
-ALL := myplc-docs
+ALL += myplc-docs