docs.

2026-06-08 11:20:12 +02:00
parent 635a3b66c8
commit a55f8d89d6
1 changed files with 1 additions and 1 deletions
@@ -8,7 +8,7 @@

 (define scribblings 
 	'(
-	  ("scribblings/port-channel.scrbl" ())
+	  ("scribblings/port-channel.scrbl" () (library))
 	  )
  )