dgit.raspbian.org Git - rustc.git/commit

author	Matthijs van Otterdijk <matthijs@wirevirt.net>
	Sun, 5 Jul 2020 14:06:52 +0000 (15:06 +0100)
committer	Ximin Luo <infinity0@debian.org>
	Sun, 5 Jul 2020 14:06:52 +0000 (15:06 +0100)
commit	927c5bbd4c8b83e51d33db1f83fb63f542961f8a
tree	34901b3ab8a1fbd72b144548bd2a031a920a6442	tree \| snapshot
parent	866c7f53995cface27b3e9970655a06524cf1739	commit \| diff

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		diff \| blob \| history
vendor/mdbook/src/book/init.rs		diff \| blob \| history
vendor/mdbook/src/renderer/html_handlebars/hbs_renderer.rs		diff \| blob \| history
vendor/mdbook/src/renderer/html_handlebars/search.rs		diff \| blob \| history
vendor/mdbook/src/theme/index.hbs		diff \| blob \| history
vendor/mdbook/src/theme/mod.rs		diff \| blob \| history
vendor/mdbook/src/theme/searcher/mod.rs		diff \| blob \| history