this is not the final word, see todo in provide-and-scribble; Closes PR 10498

2012-06-28 20:57:30 -04:00 · 2012-06-28 20:57:30 -04:00 · a6e3c01f53
commit a6e3c01f53
parent 15651fca6c
1 changed files with 2 additions and 0 deletions
--- 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