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>