From 73410010da498717461a755dbeae3ab7daad56fa Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Mon, 14 Jan 2019 02:06:09 +0200
Subject: [PATCH] Do not show 'b2 headers' help from a release; the headers are
 already in boost/

---
 bootstrap.bat | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bootstrap.bat b/bootstrap.bat
index 0f5884093f..a269f7602d 100644
--- a/bootstrap.bat
+++ b/bootstrap.bat
@@ -68,10 +68,14 @@ ECHO Bootstrapping is done. To build, run:
 ECHO.
 ECHO     .\b2
 ECHO.
+
+IF EXIST libs\config\include (
 ECHO.    To generate header files, run:
 ECHO.
 ECHO.    .\b2 headers
 ECHO.
+)
+
 ECHO To adjust configuration, edit 'project-config.jam'.
 ECHO Further information:
 ECHO.