diff options
| author | Varriount <Varriount@users.noreply.github.com> | 2020-03-04 14:44:42 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-04 14:44:42 -0500 |
| commit | 357edd86b429dfaa3c24dedabdad0eb68915616f (patch) | |
| tree | e7b95f3c65c551916b0b3f4fd10006ed36e543b3 | |
| parent | a974684b149faa19645f1e18b7b11aa67f169997 (diff) | |
| download | Nim-357edd86b429dfaa3c24dedabdad0eb68915616f.tar.gz | |
fix nightlies builds on Windows (#13587)
Before the files that should have been ignored weren't ignored
because of different dir separator ('\' vs '/') on Windows.| -rw-r--r-- | tools/kochdocs.nim | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/kochdocs.nim b/tools/kochdocs.nim index 4a07b7fd9..a5166973a 100644 --- a/tools/kochdocs.nim +++ b/tools/kochdocs.nim @@ -1,6 +1,6 @@ ## Part of 'koch' responsible for the documentation generation. -import os, strutils, osproc, sets +import os, strutils, osproc, sets, pathnorm const gaCode* = " --doc.googleAnalytics:UA-48159761-1" @@ -195,11 +195,11 @@ lib/system/widestrs.nim a.isRelativeTo("lib/pure/includes") or a.isRelativeTo("lib/genode") or a.isRelativeTo("lib/deprecated") or - (a.isRelativeTo("lib/system") and a notin goodSystem) or - a in docIgnore: + (a.isRelativeTo("lib/system") and a.replace('\\', '/') notin goodSystem) or + a.replace('\\', '/') in docIgnore: continue result.add a - result.add "nimsuggest/sexp.nim" + result.add normalizePath("nimsuggest/sexp.nim") let doc = getDocList() |