diff --git a/docs/index.html b/docs/index.html
index 0c9fc53..d8b3c38 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -17,9 +17,10 @@
       name: 'CIEL',
       repo: 'https://github.com/ciel-lang/CIEL',
     <!-- basePath: 'https://ciel-lang.org/', -->
-     basePath: '/',
+      basePath: 'https://ciel-lang.github.io/CIEL/',
+      <!-- basePath: '/',  <\!-- for development -\-> -->
       coverpage: true,
-      coverpage: ['/', '/en/'],
+      coverpage: ['/', '/fr/'],
       auto2top: true,
 
     }