Skip to content

Commit

Permalink
docs: curl the nimdoc.css too
Browse files Browse the repository at this point in the history
  • Loading branch information
kaushalmodi committed Jan 10, 2020
1 parent bda6f59 commit 70e377d
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions config.nims
Original file line number Diff line number Diff line change
Expand Up @@ -373,11 +373,16 @@ task docs, "Deploy doc html + search index to public/ directory":
deployHtmlFile = deployDir / (docOutBaseName & ".html")
genDocCmd = "nim doc --out:$1 --index:on $2" % [deployHtmlFile, srcFile]
genTheIndexCmd = "nim buildIndex -o:$1/theindex.html $1" % [deployDir]
deployCssFile = deployDir / "nimdoc.css"
docCssSource = "https://nim-lang.github.io/Nim/nimdoc.css"
deployJsFile = deployDir / "dochack.js"
docHackJsSource = "https://nim-lang.github.io/Nim/dochack.js" # devel docs dochack.js
mkDir(deployDir)
exec(genDocCmd)
exec(genTheIndexCmd)
if not fileExists(deployCssFile):
withDir deployDir:
exec("curl -LO " & docCssSource)
if not fileExists(deployJsFile):
withDir deployDir:
exec("curl -LO " & docHackJsSource)
Expand Down

0 comments on commit 70e377d

Please sign in to comment.