diff options
author | Antoine GIRARD <sapk@users.noreply.github.com> | 2020-07-14 04:09:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-13 22:09:39 -0400 |
commit | b92a5d8d6441ae74ee5451a1bf6c1e16a0149738 (patch) | |
tree | 954b36788539715a5a952199e150ad3f142b7a8d /docs/Makefile | |
parent | 633f52c220b2f24b57f6ebaf88c108aac1d89f43 (diff) | |
download | gitea-b92a5d8d6441ae74ee5451a1bf6c1e16a0149738.tar.gz gitea-b92a5d8d6441ae74ee5451a1bf6c1e16a0149738.zip |
release docs as an archive (#12243)
* release docs along sources
* use a custom offline version
Co-authored-by: Gitea <gitea@fake.local>
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 78de2d396f..487e16cf6f 100644 --- 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) |