4.2 builds to use the new PLCAPI 4.2 branch

[build.git] / planetlab.mk

diff --git a/planetlab.mk b/planetlab.mk
index 64f45cb..a762886 100644 (file)
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -340,3 +340,6 @@ myplc-native-RPMBUILD := sudo bash ./rpmbuild.sh
 myplc-native-DEPEND-FILES := myplc-release
 ALL += myplc-native
 
+myplc-docs-MODULES := MyPLC PLCAPI NodeManager
+myplc-docs-SPEC := myplc-docs.spec
+ALL += myplc-docs