diff --git a/debian/changelog b/debian/changelog index 596681cd9c..4d91350ace 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,7 @@ rustc (1.22.1+dfsg1-1~exp2) UNRELEASED; urgency=medium [ Ximin Luo ] * Remove unimportant files that autoload remote resources from rust-src. + * Fix more symlinks in rust-doc. [ Chris Coulson ] * Fix some test failures that occur because we build rust without an rpath. diff --git a/debian/patches/d-no-web-dependencies-in-doc.patch b/debian/patches/d-no-web-dependencies-in-doc.patch index 6447769baf..290af229fd 100644 --- a/debian/patches/d-no-web-dependencies-in-doc.patch +++ b/debian/patches/d-no-web-dependencies-in-doc.patch @@ -4,6 +4,8 @@ Bug: https://github.com/azerupi/mdBook/issues/271 Comment: Use https://github.com/infinity0/mdBook/tree/debian to help you rebase the patch on top of a newer version. + . + Make sure the paths here match the ones in debian/rust-doc.links --- This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ --- a/src/tools/linkchecker/main.rs diff --git a/debian/rust-doc.links b/debian/rust-doc.links index 7d4a830e60..499b8b6bcf 100644 --- 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/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