rust/src/tools/rustdoc-themes/main.rs, branch try https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=try 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. 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 Remove lint annotations in specific crates that are already enforced by rustbuild 2019-07-28T15:46:24+00:00 Vadim Petrochenkov vadim.petrochenkov@gmail.com 2019-07-23T17:34:17+00:00 urn:sha1:434152157f9d73ad1899fb8da3a61aed6f8a46d6 Remove some random unnecessary lint `allow`s Transition rustdoc-theme to 2018 edition 2019-02-03T15:45:42+00:00 Hirokazu Hata h.hata.ai.t@gmail.com 2019-02-03T15:45:42+00:00 urn:sha1:d11d1afa64ca2c29747074bce0f7bb2278b5ae66