Running web page build and distribution checker in DrDr

This commit is contained in:
Jay McCarthy 2010-08-20 10:35:14 -06:00
parent 67b7961464
commit d5247cd0f4

View File

@ -982,10 +982,9 @@ path/s is either such a string or a list of them.
"collects/make" responsible (mflatt)
"collects/meta" responsible (eli)
"collects/meta/build" drdr:command-line #f
"collects/meta/check-dists.rkt" drdr:command-line #f
"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/web/build.rkt" drdr:command-line #f
"collects/meta/web/build.rkt" drdr:command-line (racket "-t" * "--" "-o" "build" "-f" "-l")
"collects/mred" responsible (mflatt)
"collects/mred/edit-main.rkt" drdr:command-line (mzc *)
"collects/mred/edit.rkt" drdr:command-line (gracket-text "-t" *)