add missing makefile and build docs on PR

This commit is contained in:
Robert Kaussow 2020-11-15 14:14:12 +01:00
parent 07b81e05da
commit eb391964f0
No known key found for this signature in database
GPG Key ID: 65362AE74AF98B61
2 changed files with 24 additions and 1 deletions

View File

@ -333,6 +333,9 @@ local PipelineDocs = {
strip_prefix: 'docs/public/', strip_prefix: 'docs/public/',
target: '/${DRONE_REPO_NAME}', target: '/${DRONE_REPO_NAME}',
}, },
when: {
ref: ['refs/heads/master', 'refs/tags/**'],
},
}, },
], ],
depends_on: [ depends_on: [
@ -342,7 +345,7 @@ local PipelineDocs = {
'build-container-arm', 'build-container-arm',
], ],
trigger: { trigger: {
ref: ['refs/heads/master', 'refs/tags/**'], ref: ['refs/heads/master', 'refs/tags/**', 'refs/pull/**'],
}, },
}; };

20
Makefile Normal file
View File

@ -0,0 +1,20 @@
# renovate: datasource=github-releases depName=thegeeklab/hugo-geekdoc
THEME_VERSION := v0.5.0
THEME := hugo-geekdoc
BASEDIR := docs
THEMEDIR := $(BASEDIR)/themes
.PHONY: all
all: doc
.PHONY: doc
doc: doc-assets
.PHONY: doc-assets
doc-assets:
mkdir -p $(THEMEDIR)/$(THEME)/ ; \
curl -sSL "https://github.com/thegeeklab/$(THEME)/releases/download/${THEME_VERSION}/$(THEME).tar.gz" | tar -xz -C $(THEMEDIR)/$(THEME)/ --strip-components=1
.PHONY: clean
clean:
rm -rf $(THEMEDIR) && \