Skip to content

Commit f97b35c

Browse files
committed
[ GNUmakefile ] Updated a comment.
[ci skip]
1 parent e9ba0d2 commit f97b35c

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

GNUmakefile

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,7 @@ AGDA=$(AGDA_EXEC) $(RTS_OPTIONS)
55
# Before running `make test` the `fix-whitespace` program should
66
# be installed:
77
#
8-
# git clone [email protected]:agda/fix-whitespace --depth 1
9-
# cd fix-whitespace
10-
# cabal install
8+
# cabal install fix-whitespace
119

1210
test: Everything.agda check-whitespace
1311
$(AGDA) -i. -isrc README.agda

0 commit comments

Comments
 (0)