From 9dda4624dc8d89045065780d3a84e220cecb0ca2 Mon Sep 17 00:00:00 2001
From: "David A. Wheeler" <dwheeler@dwheeler.com>
Date: Sat, 12 Jul 2014 20:58:32 -0400
Subject: [PATCH] makefile: Allow "make dist" as synonym for "make distribute"

---
 makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makefile b/makefile
index 3b1eeea..9e76193 100644
--- a/makefile
+++ b/makefile
@@ -88,6 +88,7 @@ distribute: clean flawfinder.pdf flawfinder.ps
 	chown --reference=. flawfinder-$(VERSION).tar.gz
 	rm -fr flawfinder-$(VERSION)
 
+dist: distribute
 
 time:
 	echo "Timing the program. First, time taken:"