diff --git a/collects/meta/props b/collects/meta/props index 4344a49b8b..ba8a94c103 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1275,7 +1275,7 @@ path/s is either such a string or a list of them. "collects/scribble/text" responsible (eli) "collects/scribble/text.rkt" responsible (eli) "collects/scribble/tools" responsible (robby) -"collects/scribble/tools/drracket-buttons.rkt" drdr:command-line (gracket-text *) +"collects/scribble/tools/drracket-buttons.rkt" drdr:command-line #f "collects/scribble/tools/private/mk-drs-bitmaps.rkt" drdr:command-line (gracket-text * "skip") "collects/scribblings" responsible (mflatt eli robby matthias) "collects/scribblings/framework/standard-menus.scrbl" drdr:command-line #f