56 Commits (85c07e7154c82e5b387bb6a02aae70645cf1d8e0)

Author	SHA1	Message	Date
Andre Vallestero	50056699ac	Fixed infernojs url	2020-01-22 10:35:09 -05:00
Dessalines	bc257d36ed	Add more info to contributing. Fixes #429	2020-01-17 17:52:48 -05:00
Dessalines	0f8965fac9	Adding some fixes to new docs system.	2020-01-01 17:47:00 -05:00
Felix Ableitner	62ba018b19	Include docs in docker image	2020-01-01 18:14:09 +01:00
Felix Ableitner	77847ab3e6	Move translations to readme, put install instructions in both places	2020-01-01 17:26:59 +01:00
Felix Ableitner	d80e8fc075	Use mdbook for documentation (fixes #375)	2020-01-01 17:24:36 +01:00