From: S.Çağlar Onur <caglar@cs.princeton.edu>
Date: Thu, 6 Jan 2011 16:39:50 +0000 (-0500)
Subject: Merge branch '4.3' of ssh://git.planet-lab.org/git/myplc into 4.3
X-Git-Tag: myplc-4.3-43~1
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=ba3c3c7fb7a9e17d5caf1e2ebba324c7b5df9874;hp=7f72119157c5d36730e6ef730d7a4a0212770c45;p=myplc.git

Merge branch '4.3' of ssh://git.planet-lab.org/git/myplc into 4.3
---

diff --git a/myplc-docs.spec b/myplc-docs.spec
index c6b835a..6d4a6d0 100644
--- a/myplc-docs.spec
+++ b/myplc-docs.spec
@@ -40,6 +40,12 @@ http://svn.planet-lab.org/wiki/MyPLCUserGuide
 %build
 rm -rf $RPM_BUILD_ROOT
 
+# using the new lowercase names, and handling legacy
+[ -d PLCAPI ] || ln -s plcapi PLCAPI
+[ -d Monitor ] || ln -s monitor Monitor
+[ -d NodeManager ] || ln -s nodemanager NodeManager
+[ -d MyPLC ] || ln -s myplc MyPLC
+
 pushd PLCAPI
 # beware that making the pdf file somehow overwrites the html
 make -C doc PLCAPI.pdf