# Makefile HTML := $(shell grep -xl '' *.html) .PHONY: all docs clean all: docs badges.html: badges.md markdown $< > $@ docs: static-html.sh $(HTML) badges.html ./static-html.sh $(HTML) clean: rm -f badges.html git checkout HEAD -- $(HTML)