From 79b823516701a7af545ea078eb1b6915f4ba8421 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 16 Aug 2013 16:59:46 -0600 Subject: [PATCH] scribble-lib package: keep "doc" subcollection in source package original commit: c02aeb75f04816fa5636d86890ff2bed5206d6ff --- pkgs/scribble-pkgs/scribble-lib/scribble/info.rkt | 2 ++ 1 file changed, 2 insertions(+) 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"))