myplc-docs build from local dtds - more robust, and much faster too

diff --git a/onelab.mk b/onelab.mk
index aac237e..0583c42 100644 (file)
--- a/onelab.mk
+++ b/onelab.mk
@@ -358,4 +358,4 @@ ALL += myplc-native
 
 myplc-docs-MODULES := MyPLC PLCAPI NodeManager
 myplc-docs-SPEC := myplc-docs.spec
-#ALL += myplc-docs
+ALL += myplc-docs

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