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"))