Fix deployment on github. JS assets weren't at the right path. #254

a-b-street · Nov 1, 2022 · 142f720 · 142f720
1 parent 9e91b30
commit 142f720
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/osm2lanes-web/index.html b/osm2lanes-web/index.html
@@ -11,6 +11,9 @@
     <!-- Leaflet -->
     <link data-trunk rel="css" href="assets/css/leaflet.css" />
     <link data-trunk rel="css" href="assets/css/leaflet-gesture-handling.min.css" />
+
+    <!-- The following is all necessary to work both locally and on Github Pages -->
+    <base data-trunk-public-url/>
     <link data-trunk rel="copy-dir" href="assets/js" />
     <script src="/js/leaflet.js"></script>
     <script src="/js/leaflet-gesture-handling.min.js"></script>