make: add a clean target

ligurio · Jul 20, 2022 · b6f1e74 · b6f1e74
1 parent ddf1a86
commit b6f1e74
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -37,4 +37,7 @@ uninstall: ${MANPAGE_FILES}
 		rm ${PREFIX_MAN}/man3/$$(basename $$m); \
 	done
 
-.PHONY: all check install uninstall html
+clean:
+	rm -f ${HTML_FILES}
+
+.PHONY: all check install uninstall html clean