From d4238c13e68ba338619cd97ff8261e259704a338 Mon Sep 17 00:00:00 2001
From: Karsten Ahnert <karsten.ahnert@gmx.de>
Date: Thu, 14 Jan 2016 18:01:48 +0100
Subject: [PATCH] uncommenting details on simplification section in
 documentation

---
 doc/details.qbk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/details.qbk b/doc/details.qbk
index 0e3ece2..cad8070 100644
--- a/doc/details.qbk
+++ b/doc/details.qbk
@@ -21,9 +21,11 @@ later
 
 [endsect]
 
+[/
 [section Transformations and simplification of trees]
 
 [endsect]
+]
 
 
 [endsect]