- install DTD

diff --git a/build.sh b/build.sh
index bc44465..b3c2c04 100755 (executable)
--- 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=(