From f412f2fbcc1ba164bd116204e01808c83f0d5aec Mon Sep 17 00:00:00 2001
From: Darren Bane <darren.bane@gmail.com>
Date: Thu, 28 May 2020 00:45:44 +0100
Subject: Minor doc edits

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

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index 9cd37e5..2a8f5cc 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -20,4 +20,4 @@ refs.i: refs
 
 .PHONY: clean
 clean:
-	$(RM) breaking_rules.pdf
+	$(RM) breaking_rules.pdf breaking_rules.html
-- 
cgit 1.4.1-2-gfad0