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.