diff --git a/collects/meta/build/build b/collects/meta/build/build index ebec6d46de..8a887acd3a 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -2055,7 +2055,7 @@ BUILD_WEB() { separator "Creating a site-map" _cd "$maindir/$w" _run "$PLTHOME/$sitemapdir/sitemap_gen.py" \ - --config="$PLTHOME/$sitemapdir/rkt-pre.xml" \ + --config="$PLTHOME/$sitemapdir/plt-pre.xml" \ > /dev/null fi diff --git a/collects/meta/build/nsis/installer.nsi b/collects/meta/build/nsis/installer.nsi index f61d3fd334..4759e8f398 100644 --- a/collects/meta/build/nsis/installer.nsi +++ b/collects/meta/build/nsis/installer.nsi @@ -177,7 +177,7 @@ Section "" DetailPrint "Installing Racket..." SetDetailsPrint listonly SetOutPath "$INSTDIR" - File /a /r "plt\*.*" + File /a /r "racket\*.*" !ifndef SimpleInstaller WriteUninstaller "${UNINSTEXE}" ; Create uninstaller !endif diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 3c4666af77..af4d36c5c8 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -75,7 +75,7 @@ distributions := (tag "mz" bin+src+dist) (tag "mr" bin+src-dist) (tag "dr" bin+src-dist) - (tag "racket" bin+src+dist) + (tag "plt" bin+src+dist) (tag ("full" "bin") (distribute!)) bin+src+dist := (tag "bin" (verify!) (distribute!)) (tag "src" (verify!) (distribute!))