diff --git a/collects/lang/private/provide-and-scribble.rkt b/collects/lang/private/provide-and-scribble.rkt index 12c0bb31a8..da2c24e7fb 100644 --- a/collects/lang/private/provide-and-scribble.rkt +++ b/collects/lang/private/provide-and-scribble.rkt @@ -3,6 +3,8 @@ #| FIX THESE: +0. close 10498; ok + 1. the links within documentations don't work example: see list? in Advanced; example: printing is pre-determined via the eval in the doc file