mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-21 17:52:12 +03:00
b0c4cbaa69
DiagnosticCollector currently writes util/gh-pages/index.html, but the
doc comment still said util/gh-pages/lints.json.
The drift came from the switch to HTML generation in b522e7a94
("Generate lint list in HTML directly instead of JS"), which changed
the output file from lints.json to index.html but left this comment
unchanged.