diff options
| author | Jonas Bernoulli <jonas@bernoul.li> | 2020-01-02 22:38:35 +0100 |
|---|---|---|
| committer | Jonas Bernoulli <jonas@bernoul.li> | 2020-01-02 22:38:35 +0100 |
| commit | 83cb1e4caa27bd3122f80a8c3996341009414401 (patch) | |
| tree | 385f51369136d2a4889437b68cd8463f2a2dd32a /docs | |
| parent | 5f28a75609ded931d8c1277ba1a0de22c24b1434 (diff) | |
make: Copy indices for htmlified info manuals
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index eb5084f..c8d1a68 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -86,6 +86,8 @@ release: html html-dir pdf @aws s3 cp $(PKG).html $(RELEASE_TARGET) @aws s3 cp $(PKG).pdf $(RELEASE_TARGET) @aws s3 sync $(PKG) $(RELEASE_TARGET)$(PKG)/ + @aws s3 cp $(PUBLISH_TARGET)dir.html $(RELEASE_TARGET)dir.html + @aws s3 cp $(PUBLISH_TARGET)dir/index.html $(RELEASE_TARGET)dir/index.html @printf "Generating CDN invalidation\n" @aws cloudfront create-invalidation --distribution-id $(CFRONT_DIST) --paths \ "$(subst $(space),$(comma),$(addprefix $(RELEASE_PATH),$(CFRONT_PATHS)))" > /dev/null |