Use local web resources instead of remote ones
authorMatthijs van Otterdijk <matthijs@wirevirt.net>
Sat, 7 Nov 2020 21:21:03 +0000 (21:21 +0000)
committerXimin Luo <infinity0@debian.org>
Sat, 7 Nov 2020 21:21:03 +0000 (21:21 +0000)
commit4d1c214aac1b544143a79a46f4e5b7351ea0b5e7
tree394c1937c2a3dce6f7487fd1766816e8637c5f84
parent08bbab1bf8afc355a9d957d2b234e88f35fa1ea5
Use local web resources instead of remote ones

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

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
Gbp-Pq: Name d-0003-mdbook-strip-embedded-libs.patch
src/tools/linkchecker/main.rs
vendor/mdbook/src/book/init.rs
vendor/mdbook/src/renderer/html_handlebars/hbs_renderer.rs
vendor/mdbook/src/renderer/html_handlebars/search.rs
vendor/mdbook/src/theme/index.hbs
vendor/mdbook/src/theme/mod.rs
vendor/mdbook/src/theme/searcher/mod.rs