Docs

The docs.flosstools.org documentation website is built from a Gitlab wiki.

Two-repository setup

The Gitlab wiki is itself a git repository, that can be fetched (and pushed-to if you have rights):

git clone https://gitlab.com/flosstools.org/docs.wiki.git
cd docs.wiki
git remote set-url origin --push git@gitlab.com:flosstools.org/docs.wiki.git

When it is updated via the Gitlab.com web interface, a webhook trigger launches a pipeline on the main docs git repository.

This docs repository contains:

• the mkdocs.yml configuration file to customize the look of the published website
• the .gitlab-ci.yml configuration file, outlining the precise build process.

Finally, docs.flosstools.org is pointed to this repository' Gitlab Pages' functionality, serving a HTTPS page (via Let's Encrypt certificates).