d-use-system-jquery

Gbp-Pq: Name d-use-system-jquery.patch

diff --git a/src/librustdoc/html/render.rs b/src/librustdoc/html/render.rs
index 57d71e6c4e004e37b7542d6eb1eecf117c72f598..75c3ac3d35b8ce5daeebbefa6633a4be4af1f624 100644 (file)
--- 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"),