Dimitri Fontaine 6ae3bd1862 Docs cleanup.
Don't maintain generated files in git, it's useless (thanks mainly to
readthedocs), also remove the previous format of the docs.
2018-01-24 22:47:37 +01:00
..
2017-12-21 17:21:19 +01:00