This repository was archived by the owner on Nov 23, 2024. It is now read-only.
This repository was archived by the owner on Nov 23, 2024. It is now read-only.
Update doc used in rustdoc bot #79
Description
The search index becomes less useful in recent version due to enhanced minification. I think we should generate JSON output from Rust source directly and use it to serve the rustdoc bot.