objectivity: to have github show the html documentation
renamed `docs` to `mkdocs`
renamed `site` to `docs` (reverted from commit 45473572)

objectivity: to have github show the html documentation
renamed `docs` to `mkdocs`
renamed `site` to `docs`

Hugo Posnic authored 8 years ago and Ramon Buldó committed 8 years ago

* New documentation

* Fix a missing varname change