From 66451b842f5350f81bf60526328b7143fa74a06d Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 12 Feb 2008 10:33:01 +0000 Subject: [PATCH] * Changed setup-plt to compile collections if they have an "info.ss" file. (That is, it does not require the file to have a `name' entry.) * The name shown when setup works is the directory name, followed by the `name' field from the info file when specified. * This means that many `name's are no longer needed, so I'm removing them. To see if you need a `name' entry, consider that the name will be shown like this: ... foo () This means that if the name is the same as the directory name, then there is no point in having it. I also removed cases where the name differed only in its capitalization for collections where the case is obvious. * Also, for subcollections, the name should clarify the name of the subcollection in context. For example "Acknowledgments" explains what scribbling/acks is, but there's no need to add the context name as in "Scribblings: Acknowledgments". * There may also be a point in keeping names for other uses. One such example was in games, where the name field was used in the PLT Games application. (This was changed to default on the directory name, so it is no longer needed in most games.) Another example is in planet packages. svn: r8629 original commit: 699c40643d538e54164bf68f5eddf43ae30c5b5e --- collects/parser-tools/info.ss | 2 -- 1 file changed, 2 deletions(-) diff --git a/collects/parser-tools/info.ss b/collects/parser-tools/info.ss index c5ee25f..c14a2ca 100644 --- a/collects/parser-tools/info.ss +++ b/collects/parser-tools/info.ss @@ -1,3 +1 @@ #lang setup/infotab - -(define name "Parser-tools")