From 5142abf4507525a7a02e7d984ce39802ee4fe134 Mon Sep 17 00:00:00 2001 From: "Viral B. Shah" Date: Thu, 18 Jun 2020 21:37:22 -0400 Subject: [PATCH] Add Release Notes back to the html version in the same place (#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. --- doc/make.jl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/make.jl b/doc/make.jl index 35a252da1a7b7..112dbcae63126 100644 --- 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