Closed lilyball closed 2 years ago
Thanks for this report and the other ones, I'll look into this and make a new release.
I finally looked into this and it appears redirection pages now include <title>Redirection</title>
in the head section, which is probably the easiest way to identify them. I implemented this in #45 which seems to work and I haven't noticed any missing entries as a consequence. Docset generation does seem a bit slower as a result of reading the beginning of every HTML page, but it's still fast enough that I didn't feel the need to measure it.
I'll make a point release in a few days if I don't notice anything wrong by then.
Describe the bug When a crate re-exports symbols from a private module,
cargo doc
still produces html files for these re-exported symbols in the private module, and these files simply redirect to the public location, and omits the private location from the JS search index. Unfortunately cargo-docset is still indexing these private locations.To Reproduce
Expected behavior The index should look like
Screenshots
Desktop (please complete the following information):
Additional context These redirection files look like
It shouldn't be hard to detect the redirection and ignore the symbol.
I also wonder how hard it would be to extract the JSON search index from
target/doc/search-index.js
and use that to build the docset index? That seems like a more long-term effort though.