From 0101d12d49ce61bc3877ad4db4f0fb2f3f835bfb Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sat, 12 Mar 2011 07:27:58 -0700
Subject: [PATCH] hyperlink #<void> and #<undefined> in docs

---
 collects/scribble/private/manual-style.rkt | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/collects/scribble/private/manual-style.rkt b/collects/scribble/private/manual-style.rkt
index 7fc01214da..520675b098 100644
--- a/collects/scribble/private/manual-style.rkt
+++ b/collects/scribble/private/manual-style.rkt
@@ -171,10 +171,18 @@
    (list (racketmodfont "#lang"))
    `(part ,(doc-prefix '(lib "scribblings/guide/guide.scrbl") "hash-lang"))))
 
+(define (make-v+u-link p)
+  (make-link-element
+   module-link-color
+   p
+   `(part ,(doc-prefix '(lib "scribblings/guide/guide.scrbl") "void+undefined"))))
+
 (define-on-demand void-const
-  (racketresultfont "#<void>"))
+  (make-v+u-link
+   (racketresultfont "#<void>")))
 (define-on-demand undefined-const
-  (racketresultfont "#<undefined>"))
+  (make-v+u-link
+   (racketresultfont "#<undefined>")))
 
 (define (link url 
               #:underline? [underline? #t]