diff --git a/collects/meta/props b/collects/meta/props index 7be5d355bb..1acf4683ca 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -999,7 +999,7 @@ path/s is either such a string or a list of them. "collects/meta/contrib/completion/racket-completion.bash" responsible (samth sstrickl) drdr:command-line #f "collects/meta/drdr" responsible (jay) drdr:command-line #f "collects/meta/drdr2" responsible (jay) drdr:command-line #f -"collects/meta/web/build.rkt" drdr:command-line (racket "-t" * "--" "-o" "build" "-f" "-l") +"collects/meta/web/build.rkt" drdr:command-line #f "collects/mred" responsible (mflatt) "collects/mred/edit-main.rkt" drdr:command-line (mzc *) "collects/mred/edit.rkt" drdr:command-line (gracket-text "-t" *)