How to build this documentation

```
sudo apt-get install python-sphinx python-setuptools
sudo easy_install pip

sudo pip install sphinx_rtd_theme
sudo pip install sphinxcontrib-phpdomain

make html
```

next open `html/index.html` in your browser

```
open html/index.html
```


