diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-09-07 20:02:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-07 20:02:27 +0200 |
| commit | cb64a77550e5b37597be77856e40085ccb0e8777 (patch) | |
| tree | 98ca0b0da13657a28bf7c250ba137dd7adb56f0c /src/doc | |
| parent | 55b9b4d1e1bb5b46c04237a2fb2f8a85f39ef97d (diff) | |
| parent | f3650b8b92b612d9ba8fcb6d7b16fd7ed424842f (diff) | |
| download | rust-cb64a77550e5b37597be77856e40085ccb0e8777.tar.gz rust-cb64a77550e5b37597be77856e40085ccb0e8777.zip | |
Rollup merge of #146170 - kumarUjjawal:master, r=Mark-Simulacrum
fix: offline rustdoc html missing favicon As discussed in the rust-lang/rust#146149 the doc was missing the favicon icon when build locally and viewed on a browser. I changed the relative path and also now we explicitly copy both SVG and PNG. <img width="1132" height="425" alt="Screenshot 2025-09-03 at 11 57 46 PM" src="https://github.com/user-attachments/assets/062cbb08-04ec-4d88-a43a-710fb6190f82" />
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/favicon.inc | 3 | ||||
| -rw-r--r-- | src/doc/redirect.inc | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/doc/favicon.inc b/src/doc/favicon.inc index 9c330685209..f09498cc095 100644 --- a/src/doc/favicon.inc +++ b/src/doc/favicon.inc @@ -1 +1,2 @@ -<link rel="icon" href="https://www.rust-lang.org/favicon.ico"> +<link rel="alternate icon" type="image/png" href="favicon-32x32.png"> +<link rel="icon" type="image/svg+xml" href="favicon.svg"> diff --git a/src/doc/redirect.inc b/src/doc/redirect.inc index 2fb44be0145..1b7d3744b1f 100644 --- a/src/doc/redirect.inc +++ b/src/doc/redirect.inc @@ -1,2 +1,3 @@ <meta name="robots" content="noindex,follow"> -<link rel="icon" href="https://www.rust-lang.org/favicon.ico"> +<link rel="alternate icon" type="image/png" href="../favicon-32x32.png"> +<link rel="icon" type="image/svg+xml" href="../favicon.svg"> |