makefile: Allow "make dist" as synonym for "make distribute"

2014-07-12 20:58:32 -04:00 · 2014-07-12 20:58:32 -04:00 · 9dda4624dc
parent 923cf6042c
commit 9dda4624dc
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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:"