# Documentation for the Idris Language.


This manual has been prepared using ReStructured Text and the [Sphinx Documentation Generator](http://sphinx-doc.org) for future inclusion on [Read The Docs](http://www.readthedocs.org).

## Dependencies

To build the manual the following dependencies must be met. We assume that you have standard build automation tools already install i.e. `make`.

### Sphinx-Doc

Python should be installed by default on most systems.
Sphinx can be installed wither through your hosts package manager or using pip/easy_install.

### LaTeX

LaTeX can be install either using your systems package manager or direct from TeXLive.


## Build Instructions

```sh
make html
make latexpdf
```

## Contributing

This manual is licenced under the following Creative Commons License.

```
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/4.0/.
```

When contributing material to the manual please bear in mind that the work will be licensed as above. More information about contribution, such as style information is contained in CONTRIBUTING.md.