diff --git a/contrib/Makefile b/contrib/Makefile
index ef0e41d..e755a1d 100644
--- a/contrib/Makefile
+++ b/contrib/Makefile
@@ -2,7 +2,7 @@
 
 HTML	:= $(shell grep -xl '<!-- static html //-->' *.html)
 
-.PHONY: all docs
+.PHONY: all docs clean
 
 all: docs
 
@@ -11,3 +11,7 @@ badges.html: badges.md
 
 docs: static-html.sh $(HTML) badges.html
 	./static-html.sh $(HTML)
+
+clean:
+	rm -f badges.html
+	git checkout HEAD -- $(HTML)