From 4cdfbb28d7042e1426e1df908b0471a8dcdd11df Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 27 May 2010 02:33:16 -0400 Subject: [PATCH] A few minor fixes --- collects/meta/build/build | 2 +- collects/meta/build/nsis/installer.nsi | 2 +- collects/meta/dist-specs.rkt | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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!))