A few minor fixes
This commit is contained in:
parent
b5364a5875
commit
4cdfbb28d7
|
@ -2055,7 +2055,7 @@ BUILD_WEB() {
|
||||||
separator "Creating a site-map"
|
separator "Creating a site-map"
|
||||||
_cd "$maindir/$w"
|
_cd "$maindir/$w"
|
||||||
_run "$PLTHOME/$sitemapdir/sitemap_gen.py" \
|
_run "$PLTHOME/$sitemapdir/sitemap_gen.py" \
|
||||||
--config="$PLTHOME/$sitemapdir/rkt-pre.xml" \
|
--config="$PLTHOME/$sitemapdir/plt-pre.xml" \
|
||||||
> /dev/null
|
> /dev/null
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
|
@ -177,7 +177,7 @@ Section ""
|
||||||
DetailPrint "Installing Racket..."
|
DetailPrint "Installing Racket..."
|
||||||
SetDetailsPrint listonly
|
SetDetailsPrint listonly
|
||||||
SetOutPath "$INSTDIR"
|
SetOutPath "$INSTDIR"
|
||||||
File /a /r "plt\*.*"
|
File /a /r "racket\*.*"
|
||||||
!ifndef SimpleInstaller
|
!ifndef SimpleInstaller
|
||||||
WriteUninstaller "${UNINSTEXE}" ; Create uninstaller
|
WriteUninstaller "${UNINSTEXE}" ; Create uninstaller
|
||||||
!endif
|
!endif
|
||||||
|
|
|
@ -75,7 +75,7 @@
|
||||||
distributions := (tag "mz" bin+src+dist)
|
distributions := (tag "mz" bin+src+dist)
|
||||||
(tag "mr" bin+src-dist)
|
(tag "mr" bin+src-dist)
|
||||||
(tag "dr" bin+src-dist)
|
(tag "dr" bin+src-dist)
|
||||||
(tag "racket" bin+src+dist)
|
(tag "plt" bin+src+dist)
|
||||||
(tag ("full" "bin") (distribute!))
|
(tag ("full" "bin") (distribute!))
|
||||||
bin+src+dist := (tag "bin" (verify!) (distribute!))
|
bin+src+dist := (tag "bin" (verify!) (distribute!))
|
||||||
(tag "src" (verify!) (distribute!))
|
(tag "src" (verify!) (distribute!))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user