From aa6a81e5fb5cc428ee6172cf0fdb9dc2b9e9efb6 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 18 Aug 2008 22:37:44 +0000 Subject: [PATCH] renamed "tutorial" to "web-server-tutorial" svn: r11308 --- collects/web-server/info.ss | 2 +- .../tutorial/{tutorial.scrbl => web-server-tutorial.scrbl} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename collects/web-server/scribblings/tutorial/{tutorial.scrbl => web-server-tutorial.scrbl} (100%) diff --git a/collects/web-server/info.ss b/collects/web-server/info.ss index 2a6d537dde..b7d732a727 100644 --- a/collects/web-server/info.ss +++ b/collects/web-server/info.ss @@ -2,7 +2,7 @@ (define scribblings '(("scribblings/web-server.scrbl" (multi-page) (tool)) - ("scribblings/tutorial/tutorial.scrbl" () (getting-started)))) + ("scribblings/tutorial/web-server-tutorial.scrbl" () (getting-started)))) (define mzscheme-launcher-libraries '("main.ss")) (define mzscheme-launcher-names '("PLT Web Server")) diff --git a/collects/web-server/scribblings/tutorial/tutorial.scrbl b/collects/web-server/scribblings/tutorial/web-server-tutorial.scrbl similarity index 100% rename from collects/web-server/scribblings/tutorial/tutorial.scrbl rename to collects/web-server/scribblings/tutorial/web-server-tutorial.scrbl