typo in DFlag

svn: r16181
This commit is contained in:
Eli Barzilay 2009-09-30 03:58:59 +00:00
parent ac39ffe739
commit 6a8c35d429
2 changed files with 3 additions and 3 deletions

View File

@ -21,7 +21,7 @@ it will be found automatically when loading the source. Use the
subdirectory, where it will be found automatically when loading the
source file.
The @DFlag{--c-source}/@Flag{c} mode for @|mzc| is like the
The @DFlag{c-source}/@Flag{c} mode for @|mzc| is like the
@DFlag{extension}/@Flag{e} mode, except that compilation stops with
the generation of C code.

View File

@ -296,11 +296,11 @@ flags:
If at least one command-line argument is provided, and if the first
one after any @tech{configuration option} is not a flag, then a
@Flag{u}/@DFlag{--require-script} flag is implicitly added before the
@Flag{u}/@DFlag{require-script} flag is implicitly added before the
first non-flag argument.
If no command-line arguments are supplied other than
@tech{configuration options}, then the @Flag{i}/@DFlag{--repl} flag is
@tech{configuration options}, then the @Flag{i}/@DFlag{repl} flag is
effectively added.
For MrEd under X11, the follow flags are recognized when they appear