Ensure docs makefile downloads theme if failed before. (#3322)

The makefile did not download the theme if the directory "themes/gitea"
is there, even if empty.
On a fresh Ubuntu install, curl is not included, so the theme rule fails
just after creating the empty directory. When you try again after
installing curl, the rule is not triggered.

This could also happen if the download fails for other reasons.

This change makes the theme rule depend on the file "theme.toml"
which will be there only after unpacking a successfully downloaded
theme archive.

Signed-off-by: Alberto González Palomo <bugs@sentido-labs.com>
tokarchuk/v1.17
Alberto González Palomo 7 years ago committed by Lauris BH
parent 9d8260b3d6
commit 18bb0f8f13
  1. 7
      docs/Makefile

@ -24,6 +24,7 @@ build: $(THEME)
.PHONY: update .PHONY: update
update: $(THEME) update: $(THEME)
$(THEME): $(THEME): $(THEME)/theme.toml
mkdir -p $@ $(THEME)/theme.toml:
curl -s $(ARCHIVE) | tar xz -C $@ mkdir -p $$(dirname $@)
curl -s $(ARCHIVE) | tar xz -C $$(dirname $@)

Loading…
Cancel
Save