From 88eb14828bc22baee80187cd4ff5b7c6ba8fd5a6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 17 Jul 2013 17:22:38 -0600 Subject: [PATCH] change `release-notes' "info.rkt" field to `release-note-files' The change avoids a collision with PLaneT fields. Also, add checking for the form of a `release-note-files' value. original commit: 8f195a1ff65a05f7679af852f2cbfa58ea8f4bfc --- pkgs/gui-pkgs/gui-lib/mred/info.rkt | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/mred/info.rkt b/pkgs/gui-pkgs/gui-lib/mred/info.rkt index b483fa5a..ccd18bf5 100644 --- a/pkgs/gui-pkgs/gui-lib/mred/info.rkt +++ b/pkgs/gui-pkgs/gui-lib/mred/info.rkt @@ -3,8 +3,9 @@ (define version '(400)) (define post-install-collection "installer.rkt") -(define release-notes '(("GRacket and racket/gui" "HISTORY.txt" - 0 - (("Porting from v5.0.x to v5.1" "Draw_and_GUI_5_1.txt") - ("Porting to v1xxx" "MrEd_100.txt") - ("Porting to v1xxx" "MrEd_100_Framework.txt"))))) +(define release-note-files + '(("GRacket and racket/gui" "HISTORY.txt" + 0 + (("Porting from v5.0.x to v5.1" "Draw_and_GUI_5_1.txt") + ("Porting to v1xxx" "MrEd_100.txt") + ("Porting to v1xxx" "MrEd_100_Framework.txt")))))