diff --git a/Makefile b/Makefile index 4c262a13f..e3714f4e9 100644 --- a/Makefile +++ b/Makefile @@ -26,6 +26,8 @@ # This makefile mostly uses stack to get things done (slow but robust). # It may sometimes (still ?) use ghc only, or cabal, when easier. +# see also: https://gmsl.sourceforge.io/ + # XXX do we need this ? #SHELL=/bin/bash #.SHELLFLAGS="-O extglob -c" # example