JuliaDocs / Documenter.jl

A documentation generator for Julia.

Home Page:https://documenter.juliadocs.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Warn/error when search index is too big

mortenpi opened this issue · comments

We now error if the generated HTML files are too big. But it is also possible to generate very large search indexes, which we probably also want to avoid. Should we should probably also warn/error for those.

Making it an error is probably a breaking change (?), so the default probably should be a warning for this file. Although an argument could be made that the file size limits are about any generated HTML/JS/CSS content, and hence it's just a bug that the search index is currently not being checked.