diff --git a/Makefile b/Makefile index e7f497e00d0bb9a421ac7210708195e306e9b7db..887470692c772ccd71fdb87a7ae2e43fff443801 100644 --- a/Makefile +++ b/Makefile @@ -95,4 +95,7 @@ endif tags: find -name '*.hs' | xargs hasktags -e +lint: + hlint -r -u . + .PHONY : all doc maintainer-clean clean dist check tags regen-version