From baa72c765305529043ecc1ca76035ed1f40f37bf Mon Sep 17 00:00:00 2001
From: =?utf8?q?S=2E=C3=87a=C4=9Flar=20Onur?= <caglar@cs.princeton.edu>
Date: Thu, 6 Jan 2011 11:39:32 -0500
Subject: [PATCH]  handle directory name changes for myplc-docs package as well

---
 myplc-docs.spec | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/myplc-docs.spec b/myplc-docs.spec
index b645b6b..dd71f7b 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 
-- 
2.43.0