diff options
author | ringabout <43030857+ringabout@users.noreply.github.com> | 2022-08-21 08:09:48 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-20 20:09:48 -0400 |
commit | d8d86e07c39be1d41f2d26eabc8cbdf87b799d8e (patch) | |
tree | 14f6563071198b6a84429ec7668e1e926fccf7ef /tools/dochack | |
parent | 1b61e71bb81ba53cf3cfbcbb581fa61cf7fac612 (diff) | |
download | Nim-d8d86e07c39be1d41f2d26eabc8cbdf87b799d8e.tar.gz |
fixes #11953; jsondoc creates no files unless the htmldocs dir is created (#20198)
* fixes #11953; jsondoc creates no files unless the htmldocs dir is created * target * fixes runner
Diffstat (limited to 'tools/dochack')
0 files changed, 0 insertions, 0 deletions