From a6e3c01f53fb935c8149e3079f56a925431808c2 Mon Sep 17 00:00:00 2001
From: Matthias Felleisen <matthias@ccs.neu.edu>
Date: Thu, 28 Jun 2012 20:57:30 -0400
Subject: [PATCH] this is not the final word, see todo in provide-and-scribble;
 Closes PR 10498

---
 collects/lang/private/provide-and-scribble.rkt | 2 ++
 1 file changed, 2 insertions(+)

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