From a19b25a865b2000bbd3acd909f5951a5407c1eec Mon Sep 17 00:00:00 2001
From: Sean Whitton <spwhitton@spwhitton.name>
Date: Fri, 23 Nov 2018 17:29:18 -0700
Subject: New upstream version 0.17

---
 GNUmakefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'GNUmakefile')

diff --git a/GNUmakefile b/GNUmakefile
index 4ba638d..1b7c162 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -5,10 +5,13 @@ AGDA=agda
 #
 #   cd agda-development-version-path/src/fix-agda-whitespace
 #   cabal install
-test: Everything.agda
-	cabal exec -- fix-agda-whitespace --check
+
+test: Everything.agda check-whitespace
 	$(AGDA) -i. -isrc README.agda
 
+check-whitespace:
+	cabal exec -- fix-agda-whitespace --check
+
 setup: Everything.agda
 
 .PHONY: Everything.agda
-- 
cgit v1.2.3