Don't output LIB_DIR

2025-08-06 00:04:50 +02:00 · 2017-08-03 08:59:46 -07:00
parent c495f946c9
commit 338374a37f
1 changed files with 0 additions and 1 deletions
--- 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)
    }