%define name myplc-docs
%define version 5.0
-%define taglevel 4
+%define taglevel 5
%define release %{taglevel}%{?pldistro:.%{pldistro}}%{?date:.%{date}}
%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
/var/www/html/planetlab/doc/
%changelog
+* Tue Jun 22 2010 Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr> - MyPLC-5.0-5
+- new setting PLC_RESERVATION_GRANULARITY
+
* Wed May 12 2010 Talip Baris Metin <Talip-Baris.Metin@sophia.inria.fr> - MyPLC-5.0-4
- * partial-repo.sh script
- * preserve key along with certificates