diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/docs/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/docs/main.js b/lib/docs/main.js index bb77552d2c..abb8cb5186 100644 --- a/lib/docs/main.js +++ b/lib/docs/main.js @@ -53,7 +53,7 @@ var zigAnalysis; const domHdrName = document.getElementById("hdrName"); const domHelpModal = document.getElementById("helpModal"); const domSearchPlaceholder = document.getElementById("searchPlaceholder"); - const sourceFileUrlTemplate = "src/{{file}}#L{{line}}" + const sourceFileUrlTemplate = "src/{{file}}.html#L{{line}}" const domLangRefLink = document.getElementById("langRefLink"); let searchTimer = null; |
