Fix the URL setting of the document site

SoftwareFoundationGroupAtKyotoU · Apr 1, 2024 · 36a9c11 · 36a9c11
1 parent 05e0f4c
commit 36a9c11
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/documents/icon-why3/docusaurus.config.js b/documents/icon-why3/docusaurus.config.js
@@ -13,10 +13,10 @@ const config = {
   favicon: 'img/favicon.ico',
 
   // Set the production url of your site here
-  url: 'https://www.fos.kuis.kyoto-u.ac.jp/projects/icon-why3/',
+  url: 'https://www.fos.kuis.kyoto-u.ac.jp/',
   // Set the /<baseUrl>/ pathname under which your site is served
   // For GitHub pages deployment, it is often '/<projectName>/'
-  baseUrl: '/',
+  baseUrl: '/projects/icon-why3/',
 
   // GitHub pages deployment config.
   // If you aren't using GitHub pages, you don't need these.