diff options
author | Jake Leahy <jake@leahy.dev> | 2022-11-22 06:59:06 +1100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-21 14:59:06 -0500 |
commit | 753868f16cf101073a7fc2d37d6b78310dd58d5c (patch) | |
tree | dc26e8ae5cf79afd5fe2c4bac61990e540729fd4 /tools/dochack | |
parent | 19cc494b802210936328189a6e3aee3b1e8797a7 (diff) | |
download | Nim-753868f16cf101073a7fc2d37d6b78310dd58d5c.tar.gz |
Fix #14476 (#20878)
* Use link from webpage. Closes #14476 * Update doc generation tests * Update RST test
Diffstat (limited to 'tools/dochack')
-rw-r--r-- | tools/dochack/dochack.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dochack/dochack.nim b/tools/dochack/dochack.nim index 1a5c86253..4067d2ed4 100644 --- a/tools/dochack/dochack.nim +++ b/tools/dochack/dochack.nim @@ -255,7 +255,7 @@ proc dosearch(value: cstring): Element = var stuff: Element {.emit: """ var request = new XMLHttpRequest(); - request.open("GET", "theindex.html", false); + request.open("GET", document.getElementById("indexLink").href, false); request.send(null); var doc = document.implementation.createHTMLDocument("theindex"); |