Binder documentation

Deprecation notice

Please note that the Binder project has been formally deprecated, and is no longer being developed or maintained.

Set up

Install what's needed to build documentation::

$ sudo pip install -r requirements.txt

Instructions for building documentation::

$ make html

Security

If you have a security concern about Binder, please see the Binder security policy for information on how to safely report a vulnerability.