From c74cd46b92f791305dc9f2811e6eca037f7e4759 Mon Sep 17 00:00:00 2001
From: Winfried Tilanus <winfried@tilanus.com>
Date: Mon, 16 Nov 2015 20:45:03 +0100
Subject: [PATCH] Also use the prettify.js from the extentions directory.

---
 xep.xsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xep.xsl b/xep.xsl
index 79ba26bc..c26972dc 100644
--- a/xep.xsl
+++ b/xep.xsl
@@ -43,7 +43,7 @@ OR OTHER DEALINGS IN THE SOFTWARE.
         <link rel='stylesheet' type='text/css' href='xmpp.css' />
         <link href="prettify.css" type="text/css" rel="stylesheet" />
         <link rel='shortcut icon' type='image/x-icon' href='/favicon.ico' />
-        <script type="text/javascript" src="../prettify.js"></script>
+        <script type="text/javascript" src="prettify.js"></script>
         <!-- making things mobile-friendly... -->
         <meta>
           <xsl:attribute name='name'><xsl:text>viewport</xsl:text></xsl:attribute>