Format: HTMLType: Enhancementhelp wanted
Repository metrics
- Stars
- (910 stars)
- PR merge metrics
- (平均マージ 16d 9h) (30d で 3 merged PRs)
説明
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.