From 831009f035683ac48ad7a92631e3fd7cd9d2f08b Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Sat, 24 Feb 2018 19:14:36 +0100 Subject: [PATCH] Add resource-suffix option for rustdoc --- src/librustdoc/html/layout.rs | 27 ++++++++------ src/librustdoc/html/render.rs | 51 +++++++++++++++++++-------- src/librustdoc/html/static/storage.js | 4 ++- src/librustdoc/lib.rs | 9 +++++ 4 files changed, 64 insertions(+), 27 deletions(-) diff --git a/src/librustdoc/html/layout.rs b/src/librustdoc/html/layout.rs index fd14513cac48f..0151a8c3ab715 100644 --- a/src/librustdoc/html/layout.rs +++ b/src/librustdoc/html/layout.rs @@ -28,6 +28,7 @@ pub struct Page<'a> { pub root_path: &'a str, pub description: &'a str, pub keywords: &'a str, + pub resource_suffix: &'a str, } pub fn render( @@ -47,12 +48,13 @@ r##" {title} - - + + {themes} - - - + + + {css_extension} {favicon} @@ -76,11 +78,11 @@ r##"
- +