From b8567a67028d21add06a8417fdedf41b3b0f8f57 Mon Sep 17 00:00:00 2001
From: "David A. Wheeler" <dwheeler@dwheeler.com>
Date: Sun, 3 Aug 2014 16:19:55 -0400
Subject: [PATCH] makefile: Add an optional target to generate HTML
 documentation

---
 makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/makefile b/makefile
index 91b2ff4..b601096 100644
--- a/makefile
+++ b/makefile
@@ -85,6 +85,10 @@ flawfinder.ps: flawfinder.1
 flawfinder.pdf: flawfinder.ps
 	ps2pdf flawfinder.ps flawfinder.pdf
 
+# Not built by default, since man2html is not widely available
+# and the PDF is prettier.
+flawfinder.html: flawfinder.1
+	man2html flawfinder.1 | tail -n +3 > flawfinder.html
 
 clean:
 	rm -f *.pyc