diff options
| author | Jacob Hoffman-Andrews <github@hoffman-andrews.com> | 2021-11-23 19:22:29 -0800 |
|---|---|---|
| committer | Jacob Hoffman-Andrews <github@hoffman-andrews.com> | 2021-11-24 19:41:47 -0800 |
| commit | f0683f98fa114cc4f9e795031f44be3eebb65790 (patch) | |
| tree | 8e63e8f5420674b0c742d1570b0ae0f3b8198340 /compiler/rustc_mir_transform/src/coverage/query.rs | |
| parent | 3649b90b33acbc0248efa0bc35675081977aefc2 (diff) | |
| download | rust-f0683f98fa114cc4f9e795031f44be3eebb65790.tar.gz rust-f0683f98fa114cc4f9e795031f44be3eebb65790.zip | |
Move themes and version into rustdoc-vars
We had been injecting the list of themes and the rustdoc version into main.js by rewriting it at doc generation time. By avoiding this rewrite, we can make it easier to edit main.js without regenerating all the docs. Added a more convenient accessor for rustdoc-vars. Changed storage.js to not rely on resourcesSuffix. It could in theory use rustdoc-vars, but because rustdoc-vars is at the end of the HTML, it's not available when storage.js runs (very early in page load).
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/query.rs')
0 files changed, 0 insertions, 0 deletions