diff options
Diffstat (limited to 'html/Makefile')
| -rw-r--r-- | html/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/html/Makefile b/html/Makefile index 9e40f292..39a4e742 100644 --- a/html/Makefile +++ b/html/Makefile @@ -69,8 +69,12 @@ MAKEFILE_LIST := Makefile FILES_TO_COPY := hover-placeholder.png tools.html wasm.html $(subst $(HTML_ROOT),,$(wildcard $(HTML_ROOT)js/*)) blog/.htaccess blog/header.html FILES_TO_COPY_TARGETS := $(addprefix $(BUILDDIR)/,$(FILES_TO_COPY)) -.PHONY: all clean maps misc -all: $(HTML) $(RULES_HTML) maps misc $(BLOG_POSTS_HTML) +.PHONY: all clean html rules blog maps misc +all: html rules maps misc blog + +html: $(HTML) +rules: $(RULES_HTML) +blog: $(BLOG_POSTS_HTML) misc: $(BUILDDIR)/latex-build $(BUILDDIR)/cards-data $(FILES_TO_COPY_TARGETS) \ $(BUILDDIR)/webtools.wasm $(BUILDDIR)/boss/ai-companion.wasm \ |