From cb19311b358ba2b9803f2a5540e104003ffaed04 Mon Sep 17 00:00:00 2001
From: Ian Barwick <ian@2ndquadrant.com>
Date: Mon, 20 Apr 2020 15:40:13 +0900
Subject: [PATCH] doc: have Makefile clean up generated html files

---
 doc/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/Makefile b/doc/Makefile
index c4d011c3..f23df458 100644
--- 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