Please note that the Binder project has been formally deprecated, and is no longer being developed or maintained.
Install what's needed to build documentation::
$ sudo pip install -r requirements.txt
Instructions for building documentation::
$ make html
If you have a security concern about Binder, please see the Binder security policy for information on how to safely report a vulnerability.