From 18024cc5e9b5a99c7a742709ca624ed515e5ed1f Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 2 Feb 2019 20:35:50 -0600
Subject: [PATCH] doc: hide some parts of the readme

---
 README.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/README.md b/README.md
index cfe96e5d..6b87615e 100644
--- a/README.md
+++ b/README.md
@@ -179,6 +179,8 @@ $ opam install containers
 
 ### From Sources
 
+<details>
+
 You need dune (formerly jbuilder).
 
 ```
@@ -200,10 +202,15 @@ $ make bench
 $ ./benchs/run_benchs.sh
 ```
 
+</details>
+
 ## Contributing
 
 PRs on github are very welcome (patches by email too, if you prefer so).
 
+<details>
+<summary>how to contribute (click to unfold)</summary>
+
 ### First-Time Contributors
 
 Assuming your are in a clone of the repository:
@@ -250,6 +257,8 @@ To contribute a change, here are the steps (roughly):
   copy of the repository
 7. on github, open a "pull request" (PR). Et voilà !
 
+</details>
+
 ## Tutorial
 
 This tutorial contains a few examples to illustrate the features and