fixes #8419 fixes #8420 ; workaround #6071 workaround nim-lang/website#98 (#8423)

add --git.devel option to override doc generated "edit" links; add --nimCompiler option to nimweb
This commit is contained in:
Timothee Cour 2018-07-30 05:02:18 -07:00 • committed by Andreas Rumpf
commit c0f78ec012
5 changed files with 70 additions and 52 deletions

View file

@ -50,6 +50,7 @@ Boot options:
Commands for core developers:
web [options] generates the website and the full documentation
(see `nimweb.nim` for cmd line options)
website [options] generates only the website
csource -d:release builds the C sources for installation
pdf builds the PDF documentation