From 338374a37f03556ca8fbda7d089e0637ccb4daa1 Mon Sep 17 00:00:00 2001
From: Vinnie Falco <vinnie.falco@gmail.com>
Date: Thu, 3 Aug 2017 08:59:46 -0700
Subject: [PATCH] Don't output LIB_DIR

---
 doc/Jamfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/Jamfile b/doc/Jamfile
index 6afff214..cf3f2956 100644
--- a/doc/Jamfile
+++ b/doc/Jamfile
@@ -100,7 +100,6 @@ else
     actions make_doxygen_xml
     {
         export LIB_DIR=$(LIB_DIR)
-        echo "LIB_DIR=$LIB_DIR" > "$LIB_DIR/doc/html/lib_dir.txt"
         export XML_OUTPUT=$(1:D)
         "$(.doxygen)" $(2)
     }