diff --git a/Makefile b/Makefile index 2e3ba0d..3f46f27 100644 --- a/Makefile +++ b/Makefile @@ -43,3 +43,4 @@ rsc: $(GEN_RSC) clean: rm -f $(HTML) checksums.json + make -C contrib clean diff --git a/contrib/Makefile b/contrib/Makefile index bfd085b..e755a1d 100644 --- a/contrib/Makefile +++ b/contrib/Makefile @@ -1,13 +1,17 @@ # Makefile -STATIC_HTML := $(shell grep -xl '' *.html) +HTML := $(shell grep -xl '' *.html) -.PHONY: all docs +.PHONY: all docs clean all: docs badges.html: badges.md markdown $< > $@ -docs: static-html.sh $(STATIC_HTML) badges.html - ./static-html.sh $(STATIC_HTML) +docs: static-html.sh $(HTML) badges.html + ./static-html.sh $(HTML) + +clean: + rm -f badges.html + git checkout HEAD -- $(HTML) diff --git a/contrib/logo-color.html b/contrib/logo-color.html index c6fa2ab..84365a6 100644 --- a/contrib/logo-color.html +++ b/contrib/logo-color.html @@ -1,5 +1,5 @@ - +