1 files changed, 0 insertions, 11 deletions
diff --git a/chapter06/dejagnu.xml b/chapter06/dejagnu.xml
deleted file mode 100644
index 2105add41..000000000
--- a/chapter06/dejagnu.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<sect1 id="ch06-dejagnu">
-<title>Installing DejaGNU-&dejagnu-version;</title>
-<?dbhtml filename="dejagnu.html" dir="chapter06"?>
-
-<screen>Estimated build time:           &dejagnu-time-static; 
-Estimated required disk space:  &dejagnu-compsize-static;</screen>
-
-&c6-dejagnu-inst;
-
-</sect1>
-