From f2ef07dfaa4b77d8fb45f15678ad7c155fde49b5 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Tue, 6 Jun 2017 18:17:17 +0300
Subject: [PATCH] Remove from Boost doc build for now to avoid breaking it

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

diff --git a/doc/Jamfile b/doc/Jamfile
index d4a4802..24f9c5b 100644
--- a/doc/Jamfile
+++ b/doc/Jamfile
@@ -25,5 +25,5 @@ explicit pdf_ ;
 ###############################################################################
 alias boostdoc ;
 explicit boostdoc ;
-alias boostrelease : html_ ;
+alias boostrelease ;
 explicit boostrelease ;