From 89cbe05629132bd6dbc41abd090ac61caefe04b2 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 5 Jul 2013 09:12:22 +0000
Subject: Document Make check

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index be4fd12e..45055492 100644
--- a/Makefile
+++ b/Makefile
@@ -5,6 +5,7 @@
 ##
 ##  make		- do "compile" targets
 ##  make compile	- make .elc's 
+##  make check          - compile with warning flags enabled
 ##  make scripts	- edit paths to bash/perl/PGHOME in scripts
 ##  make install	- install into system directories
 ##  make clean		- return to clean source
-- 
cgit v1.2.3