doc: fix broken 'Edit on GitHub' link on release notes page, fixes Ju…

…liaLang#34511 (JuliaLang#38191)
halleysfifthinc · Oct 28, 2020 · 29a6e66 · 29a6e66
1 parent 10b165a
commit 29a6e66
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/doc/make.jl b/doc/make.jl
@@ -50,7 +50,14 @@ str = read(joinpath(@__DIR__, "..", "NEWS.md"), String)
 splitted = split(str, "<!--- generated by NEWS-update.jl: -->")
 @assert length(splitted) == 2
 replaced_links = replace(splitted[1], r"\[\#([0-9]*?)\]" => s"[#\g<1>](https://github.com/JuliaLang/julia/issues/\g<1>)")
-write(joinpath(@__DIR__, "src", "NEWS.md"), replaced_links)
+write(
+ joinpath(@__DIR__, "src", "NEWS.md"),
+ """
+ ```@meta
+ EditURL = "https://github.com/JuliaLang/julia/blob/master/NEWS.md"
+ ```
+
+ """ * replaced_links)
 
 Manual = [
  "manual/getting-started.md",