From 3fcec99f01de13599a1433a39e0f56df14037e6c Mon Sep 17 00:00:00 2001
From: Alexandre Archambault <alexandre.archambault@gmail.com>
Date: Tue, 16 Jun 2015 20:42:08 +0200
Subject: [PATCH] gh-pages adjustment

---
 web/src/main/resources/index-dev.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/web/src/main/resources/index-dev.html b/web/src/main/resources/index-dev.html
index d44e23e63..b528b8209 100644
--- a/web/src/main/resources/index-dev.html
+++ b/web/src/main/resources/index-dev.html
@@ -106,8 +106,12 @@
     }
 </script>
 
+<!-- during dev -->
 <script type="text/javascript" src="../web-jsdeps.js"></script>
 <script type="text/javascript" src="../web-fastopt.js"></script>
+<!-- github pages -->
+<script type="text/javascript" src="web-jsdeps.js"></script>
+<script type="text/javascript" src="web-fastopt.js"></script>
 
 <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script>
 <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/js/bootstrap.min.js"></script>