From a55f8d89d6ce2a44f2329bc0270b91e831941148 Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Mon, 8 Jun 2026 11:20:12 +0200 Subject: [PATCH] docs. --- info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/info.rkt b/info.rkt index 0807bc7..4f44517 100644 --- a/info.rkt +++ b/info.rkt @@ -8,7 +8,7 @@ (define scribblings '( - ("scribblings/port-channel.scrbl" ()) + ("scribblings/port-channel.scrbl" () (library)) ) )