diff --git a/collects/scribble/private/manual-style.rkt b/collects/scribble/private/manual-style.rkt index 7fc01214..520675b0 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 "#")) + (make-v+u-link + (racketresultfont "#"))) (define-on-demand undefined-const - (racketresultfont "#")) + (make-v+u-link + (racketresultfont "#"))) (define (link url #:underline? [underline? #t]