-# build drupal docs - this is crappy but at least we keep PLCAPI out
-# also, we copy everythong in the same place
-mkdir -p /var/www/html/planetlab/doc
-if [ -f /usr/share/plc_api/doc/PLCAPI.html ] ; then
- cp /usr/share/plc_api/doc/PLCAPI.{html,pdf} /var/www/html/planetlab/doc
- ./docbook2drupal.sh "PLCAPI Documentation" \
- /var/www/html/planetlab/doc/PLCAPI.html \
- /var/www/html/planetlab/doc/PLCAPI.php
-fi || :
-# same for the PLCAPI doc
-if [ -f /usr/share/myplc/doc/myplc.html ] ; then
- cp /usr/share/myplc/doc/myplc.{html,pdf} /var/www/html/planetlab/doc
- ./docbook2drupal.sh "Myplc User Guide" \
- /var/www/html/planetlab/doc/myplc.html \
- /var/www/html/planetlab/doc/myplc.php
-fi || :
-