diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2016-09-09 16:55:20 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2016-09-09 16:55:20 +0200 |
| commit | 0a2cc05541c8ea78e0cc08a2f85b17ae409151a1 (patch) | |
| tree | 9b55d715934ec481cf25334606cb558bd200f389 /tools | |
| parent | 7621bb05c9cda4e236161239236a547994a7245d (diff) | |
| download | Nim-0a2cc05541c8ea78e0cc08a2f85b17ae409151a1.tar.gz | |
docgen: minor changes
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/dochack/dochack.nim | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/dochack/dochack.nim b/tools/dochack/dochack.nim index 5529c0798..8d95fc5fd 100644 --- a/tools/dochack/dochack.nim +++ b/tools/dochack/dochack.nim @@ -244,11 +244,11 @@ proc dosearch(value: cstring): Element = request.open("GET", "theindex.html", false); request.send(null); - // var doc = document.implementation.createHTMLDocument("theindex"); - // doc.documentElement.innerHTML = request.responseText; + var doc = document.implementation.createHTMLDocument("theindex"); + doc.documentElement.innerHTML = request.responseText; - parser=new DOMParser(); - doc=parser.parseFromString(request.responseText, "text/html"); + //parser=new DOMParser(); + //doc=parser.parseFromString("<html></html>", "text/html"); `stuff` = doc.documentElement; """.} |