7 commits

Author	SHA1	Message	Date
Paul Schaub	7169b369b3	Add documentation about documentation to documentation readme ... heh	2022-07-08 17:45:58 +02:00
Paul Schaub	a131fe32aa	Extend sphinx documentation	2022-07-08 15:57:43 +02:00
Paul Schaub	ac52c4bbc5	Fix documentation link to verifications section	2022-07-08 00:32:18 +02:00
Paul Schaub	6f2b5ed1ca	Fix mermaid-cli cmd	2022-07-08 00:21:40 +02:00
Paul Schaub	556496dc87	Add .readthedocs.yaml	2022-07-07 00:44:28 +02:00
Paul Schaub	c916cec042	URL footnotes in pdf and conf.py documentation	2022-07-07 00:13:50 +02:00
Paul Schaub	16c44e670e	Initial sphinx-based documentation	2022-07-06 23:56:41 +02:00