From 0f6fa115e52b1f03f6a8542bae3e57b10d80baf3 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Thu, 24 Jan 2008 15:15:53 +0000
Subject: [PATCH] change docbook_html_to_drupal comment from onelab to pldistro

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index aae2798..4beb08e 100755
--- a/build.sh
+++ b/build.sh
@@ -104,7 +104,7 @@ done
 # we now build the plcapi doc
 # this generates a drupal php file from a docbook-generated html
 # quick & dirty
-docbook_html_to_drupal "OneLab PLCAPI Documentation" \
+docbook_html_to_drupal "${pldistro} PLCAPI Documentation" \
     root/usr/share/plc_api/doc/PLCAPI.html \
     root/var/www/html/planetlab/doc/plcapi.php
 # pdf just get copied
-- 
2.47.0