From 0dc50ad667dbd436a982059e83c37682bf6bb606 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 16 Aug 2008 01:17:50 +0000 Subject: [PATCH] svn: r11291 --- collects/web-server/info.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/web-server/info.ss b/collects/web-server/info.ss index 0bf155824c..2a6d537dde 100644 --- a/collects/web-server/info.ss +++ b/collects/web-server/info.ss @@ -1,7 +1,8 @@ #lang setup/infotab -(define scribblings '(("scribblings/web-server.scrbl" (multi-page) (tool)) - ("scribblings/tutorial/tutorial.scrbl" () (getting-started)))) +(define scribblings + '(("scribblings/web-server.scrbl" (multi-page) (tool)) + ("scribblings/tutorial/tutorial.scrbl" () (getting-started)))) (define mzscheme-launcher-libraries '("main.ss")) (define mzscheme-launcher-names '("PLT Web Server"))