From 596f8380ba4d5a93d8995bc07993df80aa35d7e9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 10 Jan 2008 20:07:32 +0000 Subject: [PATCH] move doc sub-dirs to scribblings sub-dirs svn: r8281 original commit: b76aa843ab09e8c1c5f5de9e033b7170ed64acd4 --- collects/net/{doc => scribblings}/cgi.scrbl | 0 collects/net/{doc => scribblings}/common.ss | 0 collects/net/{doc => scribblings}/info.ss | 0 collects/net/{doc => scribblings}/net.scrbl | 0 collects/net/{doc => scribblings}/sendmail.scrbl | 0 collects/net/{doc => scribblings}/sendurl.scrbl | 0 collects/net/{doc => scribblings}/smtp.scrbl | 0 collects/net/{doc => scribblings}/url.scrbl | 0 8 files changed, 0 insertions(+), 0 deletions(-) rename collects/net/{doc => scribblings}/cgi.scrbl (100%) rename collects/net/{doc => scribblings}/common.ss (100%) rename collects/net/{doc => scribblings}/info.ss (100%) rename collects/net/{doc => scribblings}/net.scrbl (100%) rename collects/net/{doc => scribblings}/sendmail.scrbl (100%) rename collects/net/{doc => scribblings}/sendurl.scrbl (100%) rename collects/net/{doc => scribblings}/smtp.scrbl (100%) rename collects/net/{doc => scribblings}/url.scrbl (100%) diff --git a/collects/net/doc/cgi.scrbl b/collects/net/scribblings/cgi.scrbl similarity index 100% rename from collects/net/doc/cgi.scrbl rename to collects/net/scribblings/cgi.scrbl diff --git a/collects/net/doc/common.ss b/collects/net/scribblings/common.ss similarity index 100% rename from collects/net/doc/common.ss rename to collects/net/scribblings/common.ss diff --git a/collects/net/doc/info.ss b/collects/net/scribblings/info.ss similarity index 100% rename from collects/net/doc/info.ss rename to collects/net/scribblings/info.ss diff --git a/collects/net/doc/net.scrbl b/collects/net/scribblings/net.scrbl similarity index 100% rename from collects/net/doc/net.scrbl rename to collects/net/scribblings/net.scrbl diff --git a/collects/net/doc/sendmail.scrbl b/collects/net/scribblings/sendmail.scrbl similarity index 100% rename from collects/net/doc/sendmail.scrbl rename to collects/net/scribblings/sendmail.scrbl diff --git a/collects/net/doc/sendurl.scrbl b/collects/net/scribblings/sendurl.scrbl similarity index 100% rename from collects/net/doc/sendurl.scrbl rename to collects/net/scribblings/sendurl.scrbl diff --git a/collects/net/doc/smtp.scrbl b/collects/net/scribblings/smtp.scrbl similarity index 100% rename from collects/net/doc/smtp.scrbl rename to collects/net/scribblings/smtp.scrbl diff --git a/collects/net/doc/url.scrbl b/collects/net/scribblings/url.scrbl similarity index 100% rename from collects/net/doc/url.scrbl rename to collects/net/scribblings/url.scrbl