diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2015-04-07 11:23:14 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2015-04-07 17:54:34 -0700 |
| commit | 947f1b66cb1d061bf91410abd5d9ccd9d9b38f7b (patch) | |
| tree | a477503978cdc609349f276031298fc20e4a9890 /src/rustbook/javascript.rs | |
| parent | 0f3183f42b02aee06e920dec18b0f4d1c93e6a77 (diff) | |
book: Emit links to play.rust-lang.org to run examples
Had to fix a bug in `--markdown-playground-url` for markdown files in rustdoc as well as adding some necessary JS to the rustbook output as well. Closes #21553
Diffstat (limited to 'src/rustbook/javascript.rs')
| -rw-r--r-- | src/rustbook/javascript.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/rustbook/javascript.rs b/src/rustbook/javascript.rs index 6ee8230e9f8..d5483593aa8 100644 --- a/src/rustbook/javascript.rs +++ b/src/rustbook/javascript.rs @@ -71,4 +71,6 @@ document.addEventListener("DOMContentLoaded", function(event) { }); </script> +<script type="text/javascript" src="jquery.js"></script> +<script type="text/javascript" src="playpen.js"></script> "#; |