From fbc822cb4ad60b5fa98560ff2a22ce0cb42858ae Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 25 Jun 2013 22:17:38 +0200 Subject: [PATCH] a step toward single-collection packages as default A package's "info.rkt" file should define `collection' as a string to name a single-collection package's collection, or as the symbol 'multi to declare the package as multi-collection. If `collection' is 'same-as-pkg, then the package name is used as the collection name. The default for `collection' is 'multi for now, but the intent is to change the default to 'same-as-pkg after a conversion period. Also, support for a `single-collection' definition remains in place, but it wil be removed. original commit: c738a6aa3eee89a82d577dd35c70eca8ed32f5b4 --- pkgs/datalog/info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/datalog/info.rkt b/pkgs/datalog/info.rkt index 8b79842..ef8a830 100644 --- a/pkgs/datalog/info.rkt +++ b/pkgs/datalog/info.rkt @@ -1,6 +1,6 @@ #lang setup/infotab -(define single-collection "datalog") +(define collection "datalog") (define scribblings '(["scribblings/datalog.scrbl" (multi-page) (language)]))