diff --git a/collects/scribblings/mzc/ext.scrbl b/collects/scribblings/mzc/ext.scrbl index c0c12f1dd4..eac9ab7d36 100644 --- a/collects/scribblings/mzc/ext.scrbl +++ b/collects/scribblings/mzc/ext.scrbl @@ -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. diff --git a/collects/scribblings/reference/startup.scrbl b/collects/scribblings/reference/startup.scrbl index 3a9e394db5..07fac92ff3 100644 --- a/collects/scribblings/reference/startup.scrbl +++ b/collects/scribblings/reference/startup.scrbl @@ -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