Build docs The docs in /docs/dev and /docs/user can be build using sphinx. Install with: $ easy_install sphinx To generate the respective dev & user docs, run make and follow the instructions in docs/dev and docs/user/de.