diff --git a/collects/scribble/eval.rkt b/collects/scribble/eval.rkt index 200ed21b..0cc82815 100644 --- a/collects/scribble/eval.rkt +++ b/collects/scribble/eval.rkt @@ -512,6 +512,9 @@ (define-syntax pick-example-title (syntax-rules () [(_ e) example-title] + [(_ #:eval ev e) example-title] + [(_ #:escape id e) example-title] + [(_ #:eval ev #:escape id e) example-title] [(_ . _) examples-title])) (define-syntax (examples stx)