From e4729afdbff8492c9467c0a0a2d2e55a6d20b879 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 17 Aug 2011 07:16:59 -0600 Subject: [PATCH] fix plurality of `examples' label --- collects/scribble/eval.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/scribble/eval.rkt b/collects/scribble/eval.rkt index 200ed21b6d..0cc8281567 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)