From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Wed, 12 Apr 2006 17:59:10 +0000 (+0000)
Subject: - install DTD
X-Git-Tag: myplc-0_4-rc1~73
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;ds=sidebyside;h=312ad89ac6a894eec0c5e82fa62761f27eead273;p=myplc.git

- install DTD
---

diff --git a/build.sh b/build.sh
index bc44465..b3c2c04 100755
--- a/build.sh
+++ b/build.sh
@@ -149,6 +149,7 @@ rsync -a \
 # Install configuration file
 echo "* Installing configuration file"
 install -D -m 444 $config $data/etc/planetlab/default_config.xml
+install -D -m 444 plc_config.dtd $data/etc/planetlab/plc_config.dtd
 
 # Move "data" directories out of the installation
 datadirs=(