From 50af456c380f930dea2d720fd0a4266ffb868ffd Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Tue, 16 Feb 2010 20:23:32 +0000 Subject: [PATCH] Normalizing PLAI wrt tree svn: r18104 --- collects/meta/dist-specs.ss | 3 +++ collects/plai/info.ss | 1 - collects/plai/CHANGELOG => doc/release-notes/plai/HISTORY.txt | 0 3 files changed, 3 insertions(+), 1 deletion(-) rename collects/plai/CHANGELOG => doc/release-notes/plai/HISTORY.txt (100%) diff --git a/collects/meta/dist-specs.ss b/collects/meta/dist-specs.ss index 0e0547c390..0d7d8edf23 100644 --- a/collects/meta/dist-specs.ss +++ b/collects/meta/dist-specs.ss @@ -655,4 +655,7 @@ mz-extras :+= (- (package: "unstable") ;; obvious that "framework" is only in DrScheme. (cond (not dr) => (collects: "unstable/gui"))) +;; -------------------- plai +plt-extras :+= (package: "plai/") + ;; ============================================================================ diff --git a/collects/plai/info.ss b/collects/plai/info.ss index ccfb54820c..d3040dd7a2 100644 --- a/collects/plai/info.ss +++ b/collects/plai/info.ss @@ -1,7 +1,6 @@ #lang setup/infotab (require string-constants) -(define name "PLAI") (define blurb '("Language levels for the Programming Languages: Application and Interpretation textbook")) (define homepage "http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/") (define primary-file "main.ss") diff --git a/collects/plai/CHANGELOG b/doc/release-notes/plai/HISTORY.txt similarity index 100% rename from collects/plai/CHANGELOG rename to doc/release-notes/plai/HISTORY.txt