Skip to content
Snippets Groups Projects
Select Git revision
21 results Searching

docs

Sheogorath's avatar
Sheogorath authored
This patch adds some external links to the docs navigation section.
Since mdbooks doesn't support this by default, this adds a JS file as
workaround, which avoids forking the theme or writing an extension for
mdbooks.

References:
https://github.com/rust-lang/mdBook/issues/1354
26724ae2
History