5 Commits

Author	SHA1	Message	Date
Vincent Bernardoff	66ec2e6087	Doc: s/Gitlab/GitLab	2018-05-25 10:12:48 +02:00
Raphaël Proust	771f937792	Doc: typo fixes ... Note: this is only fixing typos highlighted by a spellchecker. More typos and errors probably still lurk.	2018-05-10 12:46:16 +08:00
Benjamin Canou	5b28e08f93	Docs: fix broken link	2018-03-01 14:16:33 +01:00
Benjamin Canou	71556b9418	Update the README ... With: Arthur B <arthur.breitman@gmail.com>	2018-02-20 22:40:43 +00:00
Benjamin Canou	adf860ea40	Docs: new documentation structure using Sphinx/RST ... - Provides a toplevel documentation structure using Sphinx - Adds a `doc-html` target to the main Makefile - Converts existing documentation to RST format - Add some new documentation / tutorials - Links the developer manual and OCaml documentation - Synchronized documentation on Gitlab pages This patch is co-authored by: - Benjamin Canou <benjamin@canou.fr> - Bruno Bernardo <bernardobruno@gmail.com> - Pietro Abate <pietro.abate@inria.fr>	2018-01-23 08:02:17 +01:00