doc: hide some parts of the readme

This commit is contained in:
Simon Cruanes 2019-02-02 20:35:50 -06:00
parent b308680bee
commit 18024cc5e9

View file

@ -179,6 +179,8 @@ $ opam install containers
### From Sources ### From Sources
<details>
You need dune (formerly jbuilder). You need dune (formerly jbuilder).
``` ```
@ -200,10 +202,15 @@ $ make bench
$ ./benchs/run_benchs.sh $ ./benchs/run_benchs.sh
``` ```
</details>
## Contributing ## Contributing
PRs on github are very welcome (patches by email too, if you prefer so). 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 ### First-Time Contributors
Assuming your are in a clone of the repository: 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 copy of the repository
7. on github, open a "pull request" (PR). Et voilà ! 7. on github, open a "pull request" (PR). Et voilà !
</details>
## Tutorial ## Tutorial
This tutorial contains a few examples to illustrate the features and This tutorial contains a few examples to illustrate the features and