diff options
| author | Loris Cro <kappaloris@gmail.com> | 2022-09-26 18:00:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-26 18:00:36 +0200 |
| commit | 37cfe3dfd21f17bb4e6b477674dfd918216239de (patch) | |
| tree | 8188b11188d3fe4bd16845f91be5bc237ae30b87 /lib/docs/main.js | |
| parent | 8849792789331faec0caaca18822227ecdb9bc62 (diff) | |
| parent | 55a9db4c9de0df539ffb27b94ce0929c070acd2a (diff) | |
| download | zig-37cfe3dfd21f17bb4e6b477674dfd918216239de.tar.gz zig-37cfe3dfd21f17bb4e6b477674dfd918216239de.zip | |
Merge pull request #12976 from der-teufel-programming/master
autodoc: Added `.html` to generated source view file names
Diffstat (limited to 'lib/docs/main.js')
| -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; |