release docs as an archive (#12243)

* release docs along sources * use a custom offline version Co-authored-by: Gitea <gitea@fake.local>
2020-07-14 04:09:39 +02:00
parent 633f52c220
commit b92a5d8d64
2 changed files with 16 additions and 1 deletions
--- a/docs/Makefile
+++ b/docs/Makefile
@ -21,6 +21,10 @@ server: $(THEME)
 build: $(THEME)
 	hugo --cleanDestinationDir

+.PHONY: build-offline
+build-offline: $(THEME)
+	hugo --baseURL="/" --cleanDestinationDir
+
 .PHONY: update
 update: $(THEME)