move "plt-services" and "distro-build" out of the distribution

The default `PKGS' value in the makefile now refers to both
"main-distribution" and  "plt-services", so the effect of a
plain `make' remains the same.

INSTALL.txt

@@ -33,9 +33,9 @@ To install a subset of the packages in "pkgs", supply `PKGS' value to
   make PKGS="gui-lib readline-lib"
 
 links only the "gui-lib" and "readline-lib" packages and their
-dependencies. The default value of `PKGS' is "main-distribution",
-which has all packages in "pkgs" among its dependencies. See "Linking
-Packages for Development Mode", below, for more information.
+dependencies. The default value of `PKGS' reaches all packages in
+"pkgs" among its dependencies. See "Linking Packages for Development
+Mode", below, for more information.
 
 
 Building Racket Pieces
@@ -80,12 +80,12 @@ reinstalling packages).
 The `pkg-links' target of the makefile links (or re-links) packages
 from "pkgs" into the "racket" build. (The `in-place' target of the
 makefile uses `pkg-links'.) By default, `pkg-links' starts with the
-"main-distribution" package and links all of its dependencies, which
-includes all of the packages in "pkgs". Specify a subset of the
-packages with `PKG="...."' as an argument to `make pkg-links'. Make
-the `pkg-links' target whenever the set of dependencies can change
-(or, for the default mode, when any native package or package in
-"pkgs" changes).
+"main-distribution" and "plt-services" packages and links all of their
+dependencies, which includes all of the packages in "pkgs". Specify a
+subset of the packages with `PKG="...."' as an argument to `make
+pkg-links'. Make the `pkg-links' target whenever the set of
+dependencies can change (or, for the default mode, when any native
+package or package in "pkgs" changes).
 
 Packages are linked in a database (at "racket/lib/devel-pkgs") that is
 added to the installation's search paths. As a result, the links

Makefile

@@ -66,7 +66,7 @@ racket/src/build/Makefile: racket/src/configure racket/src/Makefile.in
 # Configuration options for building installers
 
 # Packages to include in a distribution:
-PKGS = main-distribution
+PKGS = main-distribution plt-services
 
 # Catalog for sources and native packages; use "local" to bootstrap
 # from package directories (in the same directory as this makefile)

pkgs/main-distribution/info.rkt

@@ -1,7 +1,5 @@
 #lang setup/infotab
 
-;; List enough to reach all packages in "pkgs".
-;; Lots of room for improvement...
 (define deps '("algol60"
                "at-exp-lib"
                "compatibility"
@@ -9,7 +7,6 @@
                "data-lib"
                "datalog"
                "deinprogramm"
-               "distro-build"
                "draw"
                "draw-doc"
                "draw-lib"
@@ -41,7 +38,6 @@
                "picturing-programs"
                "plai"
                "plot"
-               "plt-services"
                "preprocessor"
                "profile"
                "r5rs"

pkgs/plt-services/info.rkt

@@ -1,10 +1,19 @@
 #lang setup/infotab
 
+;; This package holds infrastructure that is used to drive
+;; builds and other services and that is not part of a
+;; distribution.
+
 (define collection 'multi)
-(define deps '("at-exp-lib"
+
+(define deps '("distro-build"
+
+               "at-exp-lib"
                "syntax-color-lib"
                "base"
                "gui-lib"
                "sandbox-lib"
                "scribble-lib"
-               "compatibility-lib"))
+               "compatibility-lib"))
+
+(define implies '("distro-build"))