From a0c12a730f4edac8347667eb8c58fcf898bbbaa2 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 8 Aug 2020 12:07:06 -0700
Subject: [PATCH] ;makefile: note useful looking lib

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

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