1- diff --git a/src/liballoc/ lib.rs b/src/liballoc /lib.rs
2- index 5365c9d..14fef75 100644
3- --- a/src/liballoc /lib.rs
4- +++ b/src/liballoc /lib.rs
1+ diff --git a/library/alloc/src/ lib.rs b/library/alloc/src /lib.rs
2+ index 5dda7bfa37c..339f1a3036b 100644
3+ --- a/library/alloc/src /lib.rs
4+ +++ b/library/alloc/src /lib.rs
55@@ -1,3 +1,9 @@
66+ //! **You are viewing the documentation of the Rust core allocation and
77+ //! collections library as a part of the Fortanix Rust EDP.** There are no
@@ -12,21 +12,20 @@ index 5365c9d..14fef75 100644
1212 //! # The Rust core allocation and collections library
1313 //!
1414 //! This library provides smart pointers and collections for managing
15- @@ -59,7 +65 ,9 @@
15+ @@ -63,6 +69 ,9 @@
1616 #![allow(unused_attributes)]
1717 #![stable(feature = "alloc", since = "1.36.0")]
1818 #![doc(
19- - html_root_url = "https://doc.rust-lang.org/nightly/",
2019+ html_logo_url = "https://edp.fortanix.com/img/docs/edp-logo.svg",
2120+ html_favicon_url = "https://edp.fortanix.com/favicon.ico",
2221+ html_root_url = "https://edp.fortanix.com/docs/api/",
2322 html_playground_url = "https://play.rust-lang.org/",
2423 issue_tracker_base_url = "https://github.com/rust-lang/rust/issues/",
2524 test(no_crate_inject, attr(allow(unused_variables), deny(warnings)))
26- diff --git a/src/libcore/ lib.rs b/src/libcore /lib.rs
27- index 3b7929f..f3482a9 100644
28- --- a/src/libcore /lib.rs
29- +++ b/src/libcore /lib.rs
25+ diff --git a/library/core/src/ lib.rs b/library/core/src /lib.rs
26+ index 4b16a269f2d..3d0b4ae9ca5 100644
27+ --- a/library/core/src /lib.rs
28+ +++ b/library/core/src /lib.rs
3029@@ -1,3 +1,9 @@
3130+ //! **You are viewing the documentation of the Rust core library as a part of
3231+ //! the Fortanix Rust EDP.** There are no changes compared to the normal the
@@ -37,21 +36,20 @@ index 3b7929f..f3482a9 100644
3736 //! # The Rust Core Library
3837 //!
3938 //! The Rust Core Library is the dependency-free[^free] foundation of [The
40- @@ -51,7 +57 ,9 @@
41- #![cfg(not(test))]
39+ @@ -55,6 +61 ,9 @@
40+ #![cfg(any( not(feature = "miri- test-libstd"), test, doctest ))]
4241 #![stable(feature = "core", since = "1.6.0")]
4342 #![doc(
44- - html_root_url = "https://doc.rust-lang.org/nightly /",
43+ + html_root_url = "https://edp.fortanix.com/docs/api /",
4544+ html_logo_url = "https://edp.fortanix.com/img/docs/edp-logo.svg",
4645+ html_favicon_url = "https://edp.fortanix.com/favicon.ico",
47- + html_root_url = "https://edp.fortanix.com/docs/api/",
4846 html_playground_url = "https://play.rust-lang.org/",
4947 issue_tracker_base_url = "https://github.com/rust-lang/rust/issues/",
5048 test(no_crate_inject, attr(deny(warnings))),
51- diff --git a/src/libstd/ lib.rs b/src/libstd /lib.rs
52- index ac07af5..f32927c 100644
53- --- a/src/libstd /lib.rs
54- +++ b/src/libstd /lib.rs
49+ diff --git a/library/std/src/ lib.rs b/library/std/src /lib.rs
50+ index c2243b25953..2af4966f0cd 100644
51+ --- a/library/std/src /lib.rs
52+ +++ b/library/std/src /lib.rs
5553@@ -1,3 +1,11 @@
5654+ //! **You are viewing the documentation of the Rust standard library as a part
5755+ //! of the Fortanix Rust EDP.** The only changes compared to the normal Rust
@@ -64,14 +62,13 @@ index ac07af5..f32927c 100644
6462 //! # The Rust Standard Library
6563 //!
6664 //! The Rust Standard Library is the foundation of portable Rust software, a
67- @@ -199,7 +207 ,9 @@
68-
69- #![stable (feature = "rust1 ", since = "1.0.0" )]
65+ @@ -190,6 +198 ,9 @@
66+ #![cfg_attr(not(feature = "restricted-std"), stable(feature = "rust1", since = "1.0.0"))]
67+ #![cfg_attr (feature = "restricted-std ", unstable(feature = "restricted_std", issue = "none") )]
7068 #![doc(
71- - html_root_url = "https://doc.rust-lang.org/nightly /",
69+ + html_root_url = "https://edp.fortanix.com/docs/api /",
7270+ html_logo_url = "https://edp.fortanix.com/img/docs/edp-logo.svg",
7371+ html_favicon_url = "https://edp.fortanix.com/favicon.ico",
74- + html_root_url = "https://edp.fortanix.com/docs/api/",
7572 html_playground_url = "https://play.rust-lang.org/",
7673 issue_tracker_base_url = "https://github.com/rust-lang/rust/issues/",
7774 test(no_crate_inject, attr(deny(warnings))),
0 commit comments