add wasm32 libc patch

[rustc.git] / debian / rust-doc.links

diff --git a/debian/rust-doc.links b/debian/rust-doc.links
index 6c9e55cee83e06b8b0c885641bdb615c6c1567e9..499b8b6bcf67617cb2475c15a473b9c15aed36ce 100644 (file)
--- a/debian/rust-doc.links
+++ b/debian/rust-doc.links
@@ -2,8 +2,9 @@
 # Something that does e.g.
 # find $(DESTDIR) -name jquery.js -execdir ln -sf -T \
 #        /usr/share/doc/rust-doc/html/jquery.js '{}' \;
-usr/share/javascript/jquery/jquery.min.js                             usr/share/doc/rust-doc/html/jquery.js
-usr/share/fonts-font-awesome/css/font-awesome.min.css                 usr/share/doc/rust-doc/html/fonts-font-awesome.min.css
+usr/share/javascript/jquery/jquery.min.js                             usr/share/doc/rust-doc/html/jquery.min.js
 usr/share/javascript/mathjax                                          usr/share/doc/rust-doc/html/mathjax
-usr/share/javascript/highlight.js/styles/atelier-dune.light.css       usr/share/doc/rust-doc/html/highlight.css
+usr/share/javascript/highlight.js/styles/atelier-dune-light.css       usr/share/doc/rust-doc/html/highlight.css
 usr/share/javascript/highlight.js/highlight.js                        usr/share/doc/rust-doc/html/highlight.js
+usr/share/fonts-font-awesome/css/font-awesome.min.css                 usr/share/doc/rust-doc/html/font-awesome.min.css
+usr/share/fonts-font-awesome/fonts                                    usr/share/doc/rust-doc/fonts