👷 add job to publish the documentation

This commit is contained in:
Niels Lohmann 2022-08-03 15:20:12 +02:00
parent 33759a78a9
commit df76e71fad
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69

View File

@ -1,3 +1,4 @@
SHELL=/usr/bin/env bash
SED ?= $(shell which gsed 2>/dev/null || which sed)
MKDOCS_PAGES=$(shell cd ../mkdocs/docs/ && find * -type f -name '*.md' | sort)