13 Commits

Author	SHA1	Message	Date
kaiyou	339b3c1b24	Build the documentation as a Docker image	2018-09-28 10:41:17 +02:00
kaiyou	03d3351496	Set the title of web pages in the docs	2017-11-21 22:37:21 +01:00
kaiyou	5831221c0e	Use a template to replace the version tag	2017-11-06 13:24:40 +01:00
kaiyou	49bfeda3d3	Use proper jinja templating inside rst templates	2017-11-06 12:21:28 +01:00
kaiyou	30a1657155	Use a custom role for including github_version	2017-11-06 12:10:54 +01:00
kaiyou	d433c7a0ed	Add paramiko to upload documentations after the build	2017-11-04 23:16:29 +01:00
kaiyou	70c32787d6	Insert a dynamic template for multiversion rendering	2017-11-04 21:38:29 +01:00
kaiyou	8746fafc14	Simplify the Sphinx configuration	2017-11-04 19:28:19 +01:00
kaiyou	ce9d991a13	Improve the documentation menu	2017-11-04 19:07:55 +01:00
kaiyou	5d395a2dd0	Fix the version number in the documentation	2017-11-02 20:05:49 +01:00
kaiyou	fcf9515bff	Fix the rst syntax for most documentation	2017-11-02 20:05:12 +01:00
kaiyou	dc2f1280ed	Import the documentation from the wiki	2017-11-01 20:12:17 +01:00
kaiyou	c59e05bb09	Add initial sphinx config	2017-11-01 12:37:32 +01:00