diff --git a/collects/scribblings/reference/port-lib.scrbl b/collects/scribblings/reference/port-lib.scrbl index a89d5dd192..4185fd3655 100644 --- a/collects/scribblings/reference/port-lib.scrbl +++ b/collects/scribblings/reference/port-lib.scrbl @@ -4,7 +4,7 @@ @title{More Port Constructors and Events} -@note-lib[scheme/port] +@note-lib-only[scheme/port] @; ----------------------------------------------------------------------