New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ignore size of release notes page in manual #2256

Merged

mortenpi merged 2 commits into master from mp/ignore-release-notes

Sep 14, 2023

Member

mortenpi commented Sep 14, 2023

The page is actually pretty close to the threshold limit, so let's make use our new options 🙂

┌ Warning: Generated HTML over size_threshold_warn limit: release-notes/index.html
│     Generated file size: 184759 (bytes)
│     size_threshold_warn: 102400 (bytes)
│     size_threshold:      204800 (bytes)
└ @ Documenter.HTMLWriter ~/work/Documenter.jl/Documenter.jl/src/html/HTMLWriter.jl:1733


          Ignore size of release notes page in manual

f687800

mortenpi added the Type: Documentation label


          Update make.jl

7a267e2

mortenpi merged commit 975a0d3 into master

21 checks passed

mortenpi deleted the mp/ignore-release-notes branch

September 14, 2023 09:54

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Documentation