handle directory name changes for myplc-docs package as well

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