From fa41cf795e93940824cf552f856546985210fd63 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 24 Aug 2011 05:52:19 -0600 Subject: [PATCH] fix `racketmod' file box mode original commit: b7bad5cc8a7739a3be02fb0ef70a48a7a62110dc --- collects/scribble/private/manual-scheme.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/private/manual-scheme.rkt b/collects/scribble/private/manual-scheme.rkt index f09686e5..307938cc 100644 --- a/collects/scribble/private/manual-scheme.rkt +++ b/collects/scribble/private/manual-scheme.rkt @@ -109,7 +109,7 @@ #,(syntax/loc stx (racketblock0 #:escape unsyntax-id modtag rest ...)))) (syntax/loc stx (racketblock0 #:escape unsyntax-id modtag rest ...))))] [(_ #:file filename lang rest ...) - (syntax/loc stx (racketmod0 #:file #f #:escape unsyntax lang rest ...))] + (syntax/loc stx (racketmod0 #:file filename #:escape unsyntax lang rest ...))] [(_ lang rest ...) (syntax/loc stx (racketmod0 #:file #f lang rest ...))]))