4.2 builds to use the new PLCAPI 4.2 branch

[build.git] / planetlab.mk

diff --git a/planetlab.mk b/planetlab.mk
index d989b86..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