Closed
Description
#8640 has been causing some problems with rustbuild (see rust-lang/rust#83914 and rust-lang/rust#83530 (comment)). It was reverted in beta (#8640) to give more time to figure out some solutions.
Some possible ideas:
- Use rustdoc's
--resource-suffix
flag to force the common resources to use different filenames instead of deleting the the directory. I have concerns about this approach, as it may cause resource files to accumulate (when different versions are used), and may cause confusion if different packages are documented independently with different versions (the search indexes won't be shared,crates.js
may be out of sync, etc.). - Only delete the
doc
directory if the fingerprint changes. Don't delete the doc directory if the fingerprint is missing. - Only delete existing files in the
doc
directory, and ignore any hidden files (don't delete the directory itself).
I'm leaning towards option 2, though I'm uncertain if it solves the problems (needs testing).
cc @CPerezz and @jyn514, if you maybe have other ideas or thoughts.