Fixes scribble bug #25

racket · Jun 17, 2016 · b0c8910 · b0c8910
1 parent c34a69c
commit b0c8910
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/scribble-lib/scribble/private/lp.rkt b/scribble-lib/scribble/private/lp.rkt
@@ -61,9 +61,9 @@
                (make-splice
                 (list (make-toc-element
                        #f
-                       (list (elemtag '(chunk tag)
+                       (list (elemtag '(chunk (prefixable tag))
                                       (bold (italic (racket name)) " ::=")))
-                       (list (smaller (elemref '(chunk tag) #:underline? #f
+                       (list (smaller (elemref '(chunk (prefixable tag)) #:underline? #f
                                                str
                                                rest (... ...)))))
                       (racketblock expr (... ...)))))))])))
@@ -77,7 +77,7 @@
      (identifier? #'id)
      (with-syntax ([tag (format "~a:1" (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