From 10a4830f87b2a49251548a0227196c716a05252f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 6 Jun 2008 13:45:27 +0000 Subject: [PATCH] #:name -> #:program in docs svn: r10172 --- collects/scribblings/reference/cmdline.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/reference/cmdline.scrbl b/collects/scribblings/reference/cmdline.scrbl index bdf5ab8833..34f130b9d2 100644 --- a/collects/scribblings/reference/cmdline.scrbl +++ b/collects/scribblings/reference/cmdline.scrbl @@ -12,7 +12,7 @@ flag-clause ... finish-clause) ([optional-name-expr code:blank - (code:line #:name name-expr)] + (code:line #:program name-expr)] [optional-argv-expr code:blank (code:line #:argv argv-expr)] [flag-clause (code:line #:multi flag-spec ...)