From cddc6e8adf24627cfc25923e6d19db8e15c84755 Mon Sep 17 00:00:00 2001 From: Jack Hodgkinson <30505104+jhodgdev@users.noreply.github.com> Date: Fri, 6 May 2022 11:22:40 +0100 Subject: [PATCH] Added echo message for Makefile lint --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5891d3d..3077e0b 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,7 @@ # This really ought to be `/usr/bin/env bash`, but nix flakes don't like that. SHELL := /bin/sh -.PHONY: hoogle format haddock usage lint +.PHONY: hoogle format haddock usage tag lint usage: @echo "usage: make [OPTIONS]" @@ -11,6 +11,7 @@ usage: @echo " format -- Format the project" @echo " haddock -- Generate Haddock docs for project" @echo " tag -- Generate CTAGS and ETAGS files for project" + @echo " lint -- Get hlint suggestions for project" hoogle: pkill hoogle || true