Generate the dochack.js before deploying the devel docs
This commit is contained in:
parent
72e15ff739
commit
15eac94ec7
1 changed files with 3 additions and 0 deletions
|
|
@ -53,6 +53,9 @@ script:
|
||||||
- nim c -r nimdoc/tester
|
- nim c -r nimdoc/tester
|
||||||
|
|
||||||
before_deploy:
|
before_deploy:
|
||||||
|
# Generate the dochack.js for the doc search to work.
|
||||||
|
- nim js ./tools/dochack/dochack.nim
|
||||||
|
- cp -f ./tools/dochack/nimcache/dochack.js ./doc/.
|
||||||
# Make https://nim-lang.github.io/Nim work the same as https://nim-lang.github.io/Nim/overview.html
|
# Make https://nim-lang.github.io/Nim work the same as https://nim-lang.github.io/Nim/overview.html
|
||||||
- cp -f ./doc/html/overview.html ./doc/html/index.html
|
- cp -f ./doc/html/overview.html ./doc/html/index.html
|
||||||
deploy:
|
deploy:
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue