Publish documentation on push to develop branch (#3660)
👷 add job to publish the documentation
This commit is contained in:
1 parent
22cd1c9eb9
commit
98d70d4676
3 files changed
+29
-1
No files matched your search
@@ -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)
|
||||
|
||||
Reference in new issue
Block a user