diff --git a/collects/planet/config.ss b/collects/planet/config.ss index 3e63491d98..77d3592e86 100644 --- a/collects/planet/config.ss +++ b/collects/planet/config.ss @@ -16,7 +16,7 @@ (HARD-LINK-FILE (build-path (PLANET-BASE-DIR) "HARD-LINKS")) (LOGGING-ENABLED? #t) (LOG-FILE (build-path (PLANET-DIR) "INSTALL-LOG")) - (DEFAULT-PACKAGE-LANGUAGE "399.0" #;(version)) + (DEFAULT-PACKAGE-LANGUAGE (version)) (USE-HTTP-DOWNLOADS? #t) (HTTP-DOWNLOAD-SERVLET-URL "http://planet.plt-scheme.org/servlets/planet-servlet.ss") diff --git a/collects/planet/util.ss b/collects/planet/util.ss index 80274fe21d..a8e5eb7d2c 100644 --- a/collects/planet/util.ss +++ b/collects/planet/util.ss @@ -299,7 +299,7 @@ ;; or the scribble renderer gets very confused (define SCRIBBLE-DOCUMENT-DIR "planet-docs/") -;; make-planet-archive: directory [file] -> file +;; make-planet-archive: path [path] -> path ;; Makes a .plt archive file suitable for PLaneT whose contents are ;; all files in the given directory and returns that file's name. ;; If the optional filename argument is provided, that filename will