From 0a0b3dda03fc26dd2b3fdef1c66401cc182f5409 Mon Sep 17 00:00:00 2001 From: Loris Cro Date: Tue, 16 Aug 2022 16:19:54 +0200 Subject: [PATCH] autodoc: remove reference to github, replace with placeholder link --- lib/docs/main.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/docs/main.js b/lib/docs/main.js index 717aeb4d7f..c08378f5f3 100644 --- a/lib/docs/main.js +++ b/lib/docs/main.js @@ -51,7 +51,7 @@ var zigAnalysis; const domHdrName = document.getElementById("hdrName"); const domHelpModal = document.getElementById("helpModal"); const domSearchPlaceholder = document.getElementById("searchPlaceholder"); - const sourceFileUrlTemplate = "https://github.com/ziglang/zig/blob/master/lib/std/{{file}}#L{{line}}" + const sourceFileUrlTemplate = "/src-viewer/{{file}}#L{{line}}" let searchTimer = null; let searchTrimResults = true; @@ -974,7 +974,7 @@ var zigAnalysis; "switch(" + cond + ") {" + - '