diff --git a/Makefile b/Makefile index d0369e8e2..4c05d413a 100644 --- a/Makefile +++ b/Makefile @@ -417,6 +417,9 @@ log-%: # TODO: move targets below to better location +# Some convenience aliases: +hoogle: start-hoogle + .PHONY: i18n-check # HELP: check internationalization i18n-check: --image-run---i18n-check