Fixes scribble bug #25
This commit is contained in:
parent
3121eaec9d
commit
32c6abb01e
|
@ -68,9 +68,9 @@
|
||||||
(make-splice
|
(make-splice
|
||||||
(list (make-toc-element
|
(list (make-toc-element
|
||||||
#f
|
#f
|
||||||
(list (elemtag '(chunk tag)
|
(list (elemtag '(chunk (prefixable tag))
|
||||||
(bold (italic (racket name)) " ::=")))
|
(bold (italic (racket name)) " ::=")))
|
||||||
(list (smaller (elemref '(chunk tag) #:underline? #f
|
(list (smaller (elemref '(chunk (prefixable tag)) #:underline? #f
|
||||||
str
|
str
|
||||||
rest ...))))
|
rest ...))))
|
||||||
(#,racketblock expr ...))))))]))
|
(#,racketblock expr ...))))))]))
|
||||||
|
@ -84,7 +84,7 @@
|
||||||
(identifier? #'id)
|
(identifier? #'id)
|
||||||
(with-syntax ([tag (format "~a:1" (syntax-e #'id))]
|
(with-syntax ([tag (format "~a:1" (syntax-e #'id))]
|
||||||
[str (format "~a" (syntax-e #'id))])
|
[str (format "~a" (syntax-e #'id))])
|
||||||
#'(elemref '(chunk tag) #:underline? #f str))]))
|
#'(elemref '(chunk (prefixable tag)) #:underline? #f str))]))
|
||||||
|
|
||||||
|
|
||||||
(provide (all-from-out scheme/base
|
(provide (all-from-out scheme/base
|
||||||
|
|
Loading…
Reference in New Issue
Block a user