From 312ad89ac6a894eec0c5e82fa62761f27eead273 Mon Sep 17 00:00:00 2001
From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Wed, 12 Apr 2006 17:59:10 +0000
Subject: [PATCH] - install DTD

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

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=(
-- 
2.47.0