From 74c9871dbec2306582ee8c8343d7b5bdb4493f69 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 8 Nov 2012 12:28:38 -0700 Subject: [PATCH] Fixing typos in Planet 2 docs --- collects/planet2/scribblings/planet2.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/planet2/scribblings/planet2.scrbl b/collects/planet2/scribblings/planet2.scrbl index 413506cadf..4176456be8 100644 --- a/collects/planet2/scribblings/planet2.scrbl +++ b/collects/planet2/scribblings/planet2.scrbl @@ -86,8 +86,8 @@ bound to the source and @racket['checksum] bound to the checksum. Typically, the source will be a remote URL string. PLT supports two @tech{package name services}, which are enabled by -default: @filepath{https://plt-etc.cs.byu.edu:9004} for new Planet 2 -packages and @filepath{https://plt-etc.cs.byu.edu:9003} for +default: @filepath{https://plt-etc.byu.edu:9004} for new Planet 2 +packages and @filepath{https://plt-etc.byu.edu:9003} for automatically generated Planet 2 packages for old Planet 1 packages. Anyone may host their own @tech{package name service}. The source for the PLT-hosted servers is in the