authorgravatar for kappaloris@gmail.comLoris Cro <kappaloris@gmail.com> 2022-09-26 18:00:36+02:00
committergravatar for noreply@github.comGitHub <noreply@github.com> 2022-09-26 18:00:36+02:00
log37cfe3dfd21f17bb4e6b477674dfd918216239de
tree8188b11188d3fe4bd16845f91be5bc237ae30b87
parent8849792789331faec0caaca18822227ecdb9bc62
parent55a9db4c9de0df539ffb27b94ce0929c070acd2a
signaturebadge-question-mark Signed by PGP key 4AEE18F83AFDEB23

Merge pull request #12976 from der-teufel-programming/master

autodoc: Added `.html` to generated source view file names

2 files changed, 2 insertions(+), 2 deletions(-)

lib/docs/main.js+1-1
...@@ -53,7 +53,7 @@ var zigAnalysis;...@@ -53,7 +53,7 @@ var zigAnalysis;
53 const domHdrName = document.getElementById("hdrName");53 const domHdrName = document.getElementById("hdrName");
54 const domHelpModal = document.getElementById("helpModal");54 const domHelpModal = document.getElementById("helpModal");
55 const domSearchPlaceholder = document.getElementById("searchPlaceholder");55 const domSearchPlaceholder = document.getElementById("searchPlaceholder");
56 const sourceFileUrlTemplate = "src/{{file}}#L{{line}}"56 const sourceFileUrlTemplate = "src/{{file}}.html#L{{line}}"
57 const domLangRefLink = document.getElementById("langRefLink");57 const domLangRefLink = document.getElementById("langRefLink");
5858
59 let searchTimer = null;59 let searchTimer = null;
src/Autodoc.zig+1-1
...@@ -301,7 +301,7 @@ pub fn generateZirData(self: *Autodoc) !void {...@@ -301,7 +301,7 @@ pub fn generateZirData(self: *Autodoc) !void {
301 var files_iterator = self.files.iterator();301 var files_iterator = self.files.iterator();
302302
303 while (files_iterator.next()) |entry| {303 while (files_iterator.next()) |entry| {
304 const new_html_path = entry.key_ptr.*.sub_file_path;304 const new_html_path = try std.mem.concat(self.arena, u8, &.{entry.key_ptr.*.sub_file_path, ".html"});
305305
306 const html_file = try createFromPath(html_dir, new_html_path);306 const html_file = try createFromPath(html_dir, new_html_path);
307 defer html_file.close();307 defer html_file.close();