From d32d04681a3dc6c450f82f306f9dc6648b29cd4a Mon Sep 17 00:00:00 2001
From: vindarel <vindarel@mailz.org>
Date: Fri, 6 Nov 2020 15:17:11 +0100
Subject: [PATCH] doc: try basePath for gh-pages

---
 docs/index.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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,
 
     }