From: S.Çağlar Onur Date: Thu, 6 Jan 2011 16:39:32 +0000 (-0500) Subject: handle directory name changes for myplc-docs package as well X-Git-Tag: myplc-4.3-43~2 X-Git-Url: http://git.onelab.eu/?p=myplc.git;a=commitdiff_plain;h=baa72c765305529043ecc1ca76035ed1f40f37bf handle directory name changes for myplc-docs package as well --- 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