git://git.onelab.eu
/
myplc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b0cb19d
)
change docbook_html_to_drupal comment from onelab to pldistro
author
Marc Fiuczynski
<mef@cs.princeton.edu>
Thu, 24 Jan 2008 15:15:53 +0000
(15:15 +0000)
committer
Marc Fiuczynski
<mef@cs.princeton.edu>
Thu, 24 Jan 2008 15:15:53 +0000
(15:15 +0000)
build.sh
patch
|
blob
|
history
diff --git
a/build.sh
b/build.sh
index
aae2798
..
4beb08e
100755
(executable)
--- 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