From a2320e7bd8814f9b541436cc37089fc4e5530142 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 4 Feb 2008 23:00:35 +0000 Subject: [PATCH] switched info.ss files to #lang svn: r8532 original commit: 3c72e71e24202366d4be41532cba0a89f69d7ebd --- collects/net/scribblings/info.ss | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/net/scribblings/info.ss b/collects/net/scribblings/info.ss index 49b934568a..8a7034cad0 100644 --- a/collects/net/scribblings/info.ss +++ b/collects/net/scribblings/info.ss @@ -1,3 +1,4 @@ -(module info setup/infotab - (define name "Net documentation") - (define scribblings '(("net.scrbl" (multi-page))))) +#lang setup/infotab + +(define name "Net documentation") +(define scribblings '(("net.scrbl" (multi-page))))