From 803a7f80535a783eddfda3a1c9d84045f59647b3 Mon Sep 17 00:00:00 2001
From: Daniel James <daniel@calamity.org.uk>
Date: Mon, 3 Feb 2014 00:31:19 +0000
Subject: [PATCH] Remove boost-doc-tools from boost.xml

---
 doc/src/boost.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/src/boost.xml b/doc/src/boost.xml
index 81bacb9161..9b885e289a 100644
--- a/doc/src/boost.xml
+++ b/doc/src/boost.xml
@@ -745,7 +745,6 @@
         or for use with their own applications.
       </para>
     </partintro>
-    <xi:include href="boost-doc-tools.xml"/>
     <xi:include href="../../tools/boostbook/doc/boostbook.xml"/>
     <xi:include href="quickbook.xml"/>
     <xi:include href="jam_docs.xml"/>