Add Release Notes back to the html version in the same place (JuliaLa…

…ng#36333) as before and to the PDF version as well. In the PDF version, they are at the back of the document as the last Part.
halleysfifthinc · Jun 19, 2020 · 5142abf · 5142abf
1 parent 92197a7
commit 5142abf
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/doc/make.jl b/doc/make.jl
@@ -155,15 +155,17 @@ const PAGES = [
  "Manual" => ["index.md", Manual...],
  "Base" => BaseDocs,
  "Standard Library" => StdlibDocs,
- "Developer Documentation" => DevDocs
+ "Developer Documentation" => DevDocs,
+ hide("NEWS.md"),
 ]
 else
 const PAGES = [
  "Julia Documentation" => "index.md",
+ hide("NEWS.md"),
  "Manual" => Manual,
  "Base" => BaseDocs,
  "Standard Library" => StdlibDocs,
- "Developer Documentation" => DevDocs
+ "Developer Documentation" => DevDocs,
 ]
 end