diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile new file mode 100644 index 0000000000..e5f8d9c6e0 --- /dev/null +++ b/docs/Makefile @@ -0,0 +1,29 @@ +THEME := themes/gitea +PUBLIC := public +ARCHIVE := https://dl.gitea.io/theme/master.tar.gz + +.PHONY: all +all: build + +.PHONY: clean +clean: + rm -rf $(PUBLIC) $(THEME) + +.PHONY: trans-copy +trans-copy: + @bash scripts/trans-copy + +.PHONY: server +server: $(THEME) + hugo server + +.PHONY: build +build: $(THEME) + hugo --cleanDestinationDir + +.PHONY: update +update: $(THEME) + +$(THEME): + mkdir -p $@ + curl -s $(ARCHIVE) | tar xz -C $@ |