diff --git a/collects/scribblings/scribble/config.scrbl b/collects/scribblings/scribble/config.scrbl index e7c7c2291f..1048715f8b 100644 --- a/collects/scribblings/scribble/config.scrbl +++ b/collects/scribblings/scribble/config.scrbl @@ -185,7 +185,7 @@ accompanying files: flag. Add additional style definitions and re-definitions using the @as-index{@DPFlag{style}} flag.} - @item{Add additional accompanying files with @as-index{@DFlag{extra}}.} + @item{Add additional accompanying files with @as-index{@DPFlag{extra}}.} ]