From 0788fb2678882a35be581f386ddec9b79bc22d5d Mon Sep 17 00:00:00 2001 From: Rust Maintainers Date: Wed, 9 Aug 2017 03:49:55 +0100 Subject: [PATCH] d-use-system-jquery Gbp-Pq: Name d-use-system-jquery.patch --- src/librustdoc/html/render.rs | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/src/librustdoc/html/render.rs b/src/librustdoc/html/render.rs index 57d71e6c4e..75c3ac3d35 100644 --- a/src/librustdoc/html/render.rs +++ b/src/librustdoc/html/render.rs @@ -660,8 +660,16 @@ fn write_shared(cx: &Context, // Add all the static files. These may already exist, but we just // overwrite them anyway to make sure that they're fresh and up-to-date. - write(cx.dst.join("jquery.js"), - include_bytes!("static/jquery-2.1.4.min.js"))?; + { + // In Debian, just copy the system jquery instead. + // If the file gets installed, we can eventually create something like + // dh_rustdoc, similar to dh_sphinxdoc to detect these copies and + // convert them into symlinks. + let jquery_system_path = "/usr/share/javascript/jquery/jquery.min.js"; + let jquery = cx.dst.join("jquery.js"); + let jquery = jquery.as_path(); + try_err!(fs::copy(jquery_system_path, jquery), &jquery); + } write(cx.dst.join("main.js"), include_bytes!("static/main.js"))?; write(cx.dst.join("rustdoc.css"), -- 2.30.2