rust/src/tools/rustdoc-themes, branch master https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=master 2024-09-22T23:11:29+00:00 Reformat using the new identifier sorting from rustfmt 2024-09-22T23:11:29+00:00 Michael Goulet michael@errs.io 2024-09-22T23:05:04+00:00 urn:sha1:c682aa162b0d41e21cc6748f4fecfe01efb69d1f Ensure `build/tmp` exists in `rustdoc_themes::get_themes` 2023-09-20T06:31:33+00:00 Lukas Wirth lukas.wirth@ferrous-systems.com 2023-09-20T06:31:33+00:00 urn:sha1:670631dd2606e7cb7cc488a2f7a7331e9dfd39af rustdoc: merge theme css into rustdoc.css 2023-09-15T14:40:17+00:00 Michael Howell michael@notriddle.com 2023-09-13T22:08:45+00:00 urn:sha1:7e86fd61e83717fc23b6141d2ba728aefbe5e168 Based on https://github.com/rust-lang/rust/pull/115812#issuecomment-1717960119 Having them in separate files used to make more sense, before the migration to CSS variables made the theme files as small as they are nowadays. This is already how docs.rs and mdBook do it. Migrate to 2021 2021-09-21T02:21:42+00:00 Mark Rousskov mark.simulacrum@gmail.com 2021-09-19T16:49:55+00:00 urn:sha1:c746be2219fac78e5adad715082dedeb2d737f0d rfc3052: Remove authors field from Cargo manifests 2021-07-29T21:56:05+00:00 Jade software@lfcode.ca 2021-07-27T23:38:13+00:00 urn:sha1:3cf820e17dea8b0a9a19b027439c9ea0ef99bd06 Since RFC 3052 soft deprecated the authors field anyway, hiding it from crates.io, docs.rs, and making Cargo not add it by default, and it is not generally up to date/useful information, we should remove it from crates in this repo. Format the world 2019-12-22T22:42:47+00:00 Mark Rousskov mark.simulacrum@gmail.com 2019-12-22T22:42:04+00:00 urn:sha1:a06baa56b95674fc626b3c3fd680d6a65357fe60 remove -Z option from rustdoc theme checker tool 2019-11-18T15:43:48+00:00 Guillaume Gomez guillaume1.gomez@gmail.com 2019-10-12T09:53:02+00:00 urn:sha1:b004a50f7395202bb6822f4ec8a098fdf9c7456a Rename rustdoc options --themes and --check-themes to --theme and --check-theme 2019-11-18T15:43:48+00:00 Guillaume Gomez guillaume1.gomez@gmail.com 2019-09-22T20:35:25+00:00 urn:sha1:8f9014d98f88c57dbd786a3b9ac86c5bfcdcb401 rename check-theme option into check-themes 2019-11-18T15:43:48+00:00 Guillaume Gomez guillaume1.gomez@gmail.com 2019-09-14T15:43:10+00:00 urn:sha1:7cbf31aa04679b6a9ccf7b19f9752be8a65e0245 Rename theme-checker option to check-theme 2019-11-18T15:43:48+00:00 Guillaume Gomez guillaume1.gomez@gmail.com 2019-06-30T17:24:32+00:00 urn:sha1:8f44c604d2586220aea497b22153290e2505ab36