+# 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 || :
+