koch: Nimrod -> Nim

This commit is contained in:
def 2015-03-12 14:03:13 +01:00
commit 1b7d7ae1cb

View file

@ -41,7 +41,7 @@ Options:
Possible Commands: Possible Commands:
boot [options] bootstraps with given command line options boot [options] bootstraps with given command line options
install [bindir] installs to given directory; Unix only! install [bindir] installs to given directory; Unix only!
clean cleans Nimrod project; removes generated files clean cleans Nim project; removes generated files
web [options] generates the website and the full documentation web [options] generates the website and the full documentation
website [options] generates only the website website [options] generates only the website
csource [options] builds the C sources for installation csource [options] builds the C sources for installation
@ -59,7 +59,7 @@ Boot options:
-d:useGnuReadline use the GNU readline library for interactive mode -d:useGnuReadline use the GNU readline library for interactive mode
(not needed on Windows) (not needed on Windows)
-d:nativeStacktrace use native stack traces (only for Mac OS X or Linux) -d:nativeStacktrace use native stack traces (only for Mac OS X or Linux)
-d:noCaas build Nimrod without CAAS support -d:noCaas build Nim without CAAS support
-d:avoidTimeMachine only for Mac OS X, excludes nimcache dir from backups -d:avoidTimeMachine only for Mac OS X, excludes nimcache dir from backups
Web options: Web options:
--googleAnalytics:UA-... add the given google analytics code to the docs. To --googleAnalytics:UA-... add the given google analytics code to the docs. To
@ -282,7 +282,7 @@ when defined(withUpdate):
when defined(haveZipLib): when defined(haveZipLib):
echo("Falling back.. Downloading source code from repo...") echo("Falling back.. Downloading source code from repo...")
# use dom96's httpclient to download zip # use dom96's httpclient to download zip
downloadFile("https://github.com/Araq/Nimrod/zipball/master", downloadFile("https://github.com/Araq/Nim/zipball/master",
thisDir / "update.zip") thisDir / "update.zip")
try: try:
echo("Extracting source code from archive...") echo("Extracting source code from archive...")