2 Commits

Author	SHA1	Message	Date
Quentin Gliech	e7744c6b50	Add placeholders in the documentation to make browsing the documentation source less confusing ... Fixes #1078	2023-10-11 17:34:06 +02:00
Quentin Gliech	3de11d8bfe	ci: add script to build the docs in Cloudflare Pages	2023-07-27 16:18:53 +02:00