From 68a7bbea2e72361d6e0e17094d1f2ec7b7207ac7 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Mon, 4 Feb 2008 23:00:35 +0000
Subject: [PATCH] switched info.ss files to #lang

svn: r8532

original commit: 3c72e71e24202366d4be41532cba0a89f69d7ebd
---
 collects/embedded-gui/info.ss          | 5 ++---
 collects/mrlib/scribblings/info.ss     | 7 ++++---
 collects/scribblings/framework/info.ss | 7 ++++---
 collects/scribblings/gui/info.ss       | 6 +++---
 4 files changed, 13 insertions(+), 12 deletions(-)

diff --git a/collects/embedded-gui/info.ss b/collects/embedded-gui/info.ss
index 8b7dcd94..c35fa00d 100644
--- a/collects/embedded-gui/info.ss
+++ b/collects/embedded-gui/info.ss
@@ -1,4 +1,3 @@
-(module info setup/infotab
-  (define name "Embedded GUI"))
-
+#lang setup/infotab
 
+(define name "Embedded GUI")
diff --git a/collects/mrlib/scribblings/info.ss b/collects/mrlib/scribblings/info.ss
index 7cf6a42b..aded43ac 100644
--- a/collects/mrlib/scribblings/info.ss
+++ b/collects/mrlib/scribblings/info.ss
@@ -1,3 +1,4 @@
-(module info setup/infotab
-  (define name "MrLib documentation")
-  (define scribblings '(("mrlib.scrbl" (multi-page)))))
+#lang setup/infotab
+
+(define name "MrLib documentation")
+(define scribblings '(("mrlib.scrbl" (multi-page))))
diff --git a/collects/scribblings/framework/info.ss b/collects/scribblings/framework/info.ss
index f926a7d3..0283263b 100644
--- a/collects/scribblings/framework/info.ss
+++ b/collects/scribblings/framework/info.ss
@@ -1,3 +1,4 @@
-(module info setup/infotab
-  (define name "Scribblings: Framework")
-  (define scribblings '(("framework.scrbl" (#;multi-page)))))
+#lang setup/infotab
+
+(define name "Scribblings: Framework")
+(define scribblings '(("framework.scrbl" (#;multi-page))))
diff --git a/collects/scribblings/gui/info.ss b/collects/scribblings/gui/info.ss
index 06ac2ada..ab3f68b1 100644
--- a/collects/scribblings/gui/info.ss
+++ b/collects/scribblings/gui/info.ss
@@ -1,4 +1,4 @@
-(module info setup/infotab
-  (define name "Scribblings: GUI")
-  (define scribblings '(("gui.scrbl" (multi-page)))))
+#lang setup/infotab
 
+(define name "Scribblings: GUI")
+(define scribblings '(("gui.scrbl" (multi-page)))))