doc: have Makefile clean up generated html files

2026-03-23 07:06:30 +00:00 · 2020-04-20 15:40:13 +09:00
parent 9ce7cb7012
commit cb19311b35
1 changed files with 1 additions and 0 deletions
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -95,6 +95,7 @@ clean:
 	rm -f repmgr.html
 	rm -f repmgr-A4.pdf
 	rm -f repmgr-US.pdf
+	rm -f html/*

 maintainer-clean:
 	rm -rf html