From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 2 Jul 2010 09:14:22 +0000 (+0000)
Subject: resistant to module names being lowercased
X-Git-Tag: MyPLC-5.0-6~5
X-Git-Url: http://git.onelab.eu/?p=myplc.git;a=commitdiff_plain;h=854f8c0417cf4f2a8baa1d7889ebb8e400c03831

resistant to module names being lowercased
---

diff --git a/myplc-docs.spec b/myplc-docs.spec
index a7f0d46..d9d7fa0 100644
--- a/myplc-docs.spec
+++ b/myplc-docs.spec
@@ -40,21 +40,21 @@ http://svn.planet-lab.org/wiki/MyPLCUserGuide
 %build
 rm -rf $RPM_BUILD_ROOT
 
-pushd PLCAPI
+if [ -d PLCAPI ] ; then pushd PLCAPI ; else pushd plcapi; fi
 # beware that making the pdf file somehow overwrites the html
 make -C doc PLCAPI.pdf 
 rm -f doc/PLCAPI.html
 make -C doc PLCAPI.html 
 popd
 
-pushd NodeManager
+if [ -d NodeManager ] ; then pushd NodeManager; else pushd nodemanager ; fi
 # beware that making the pdf file somehow overwrites the html
 make -C doc NMAPI.pdf 
 rm -f doc/NMAPI.html
 make -C doc NMAPI.html 
 popd
 
-pushd Monitor
+if [ -d Monitor ] ; then pushd Monitor; else pushd monitor; fi
 # beware that making the pdf file somehow overwrites the html
 make -C docs Monitor.pdf 
 rm -f docs/Monitor.html