From effe1939758ac385cd31f8dea3e81627401870c8 Mon Sep 17 00:00:00 2001 From: QuietMisdreavus Date: Tue, 29 Jan 2019 14:52:40 -0600 Subject: [PATCH] add new essential files from new nightly --- src/docbuilder/chroot_builder.rs | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/docbuilder/chroot_builder.rs b/src/docbuilder/chroot_builder.rs index 49dbc29c6..1c07b158a 100644 --- a/src/docbuilder/chroot_builder.rs +++ b/src/docbuilder/chroot_builder.rs @@ -386,15 +386,17 @@ impl DocBuilder { "storage.js", "theme.js", "source-script.js", - "noscript.css"], + "noscript.css", + "rust-logo.png"], + // favicon.ico is not needed because we set our own // files doesn't require rustc version subfix ["FiraSans-Medium.woff", "FiraSans-Regular.woff", - "Heuristica-Italic.woff", "SourceCodePro-Regular.woff", "SourceCodePro-Semibold.woff", - "SourceSerifPro-Bold.woff", - "SourceSerifPro-Regular.woff"]); + "SourceSerifPro-Bold.ttf.woff", + "SourceSerifPro-Regular.ttf.woff", + "SourceSerifPro-It.ttf.woff"]); let source = PathBuf::from(&self.options.chroot_path) .join("home")