fix command-line docs for flags that start "--"

Closes PR 15080
This commit is contained in:
Matthew Flatt 2015-05-31 06:04:14 -06:00
parent b4c52698c0
commit 0bed8e8928

View File

@ -1,5 +1,7 @@
#lang scribble/doc
@(require "mz.rkt" (for-label racket/cmdline))
@(require "mz.rkt"
(for-label racket/cmdline)
(only-in scribble/core element))
@title{Command-Line Parsing}
@ -104,7 +106,7 @@ A normal flag specification has four parts:
@racketvalfont{"-}@racketvarfont{x}@racketvalfont{"} or
@racketvalfont{"+}@racketvarfont{x}@racketvalfont{"} for some
character @racketvarfont{x}, or
@racketvalfont{"--}@racketvarfont{x}@racketvalfont{"} or
@racketvalfont[@element[#f]{"--}]@racketvarfont{x}@racketvalfont{"} or
@racketvalfont{"++}@racketvarfont{x}@racketvalfont{"} for some
sequence of characters @racketvarfont{x}. An @racketvarfont{x} cannot
contain only digits or digits plus a single decimal point, since