Format: HTMLType: Enhancementhelp wanted
仓库指标
- Star
- (910 star)
- PR 合并指标
- (平均合并 16天 9小时) (30 天内合并 3 个 PR)
描述
Currently, if you go to the documentation of a Julia package e.g. https://juliadocs.github.io/Documenter.jl/
the <title> element of the page is <title>Home · Documenter.jl</title>, where the "Home" comes from the first item on the dropdown menu. Is there a way to separate those two? The element seems to be important for google search results, thus it would be nice to have finer control over it.