From 947f1b66cb1d061bf91410abd5d9ccd9d9b38f7b Mon Sep 17 00:00:00 2001
From: Alex Crichton <alex@alexcrichton.com>
Date: Tue, 7 Apr 2015 11:23:14 -0700
Subject: 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
---
 src/rustbook/javascript.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/rustbook/javascript.rs')

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>
 "#;
-- 
cgit 1.4.1-3-g733a5