From f687800f8ea9746af800e647e1e4b24e20838f23 Mon Sep 17 00:00:00 2001 From: Morten Piibeleht Date: Thu, 14 Sep 2023 20:18:50 +1200 Subject: [PATCH 1/2] Ignore size of release notes page in manual --- docs/make.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/make.jl b/docs/make.jl index 0c5e5716b7..0584906751 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -31,6 +31,7 @@ makedocs( analytics = "UA-136089579-2", highlights = ["yaml"], ansicolor = true, + size_threshold_ignore = ["release-notes/index.html"], ) end, build = ("pdf" in ARGS) ? "build-pdf" : "build", From 7a267e203ca181f84e100c094a49ea0968f002bf Mon Sep 17 00:00:00 2001 From: Morten Piibeleht Date: Thu, 14 Sep 2023 21:33:52 +1200 Subject: [PATCH 2/2] Update make.jl --- docs/make.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/make.jl b/docs/make.jl index 0584906751..00aebfbd01 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -31,7 +31,7 @@ makedocs( analytics = "UA-136089579-2", highlights = ["yaml"], ansicolor = true, - size_threshold_ignore = ["release-notes/index.html"], + size_threshold_ignore = ["release-notes.md"], ) end, build = ("pdf" in ARGS) ? "build-pdf" : "build",