diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt index 0a1c8d58..2edcfa14 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt @@ -1,5 +1,7 @@ #lang info +(define source-keep-files '("doc")) + (define mzscheme-launcher-names '("scribble")) (define mzscheme-launcher-libraries '("run.rkt"))