Moving website to docs folder

inria-emeraude · Sep 25, 2023 · 1fc72fc · 1fc72fc
1 parent a33237c
commit 1fc72fc
Show file tree

Hide file tree

Showing 23 changed files with 2 additions and 2 deletions.
diff --git a/web/site/404.html → docs/404.html b/web/site/404.html → docs/404.html
diff --git a/web/site/css/base.css → docs/css/base.css b/web/site/css/base.css → docs/css/base.css
diff --git a/web/site/css/bootstrap.min.css → docs/css/bootstrap.min.css b/web/site/css/bootstrap.min.css → docs/css/bootstrap.min.css
diff --git a/web/site/css/font-awesome.min.css → docs/css/font-awesome.min.css b/web/site/css/font-awesome.min.css → docs/css/font-awesome.min.css
diff --git a/web/site/fonts/fontawesome-webfont.eot → docs/fonts/fontawesome-webfont.eot b/web/site/fonts/fontawesome-webfont.eot → docs/fonts/fontawesome-webfont.eot
diff --git a/web/site/fonts/fontawesome-webfont.svg → docs/fonts/fontawesome-webfont.svg b/web/site/fonts/fontawesome-webfont.svg → docs/fonts/fontawesome-webfont.svg
diff --git a/web/site/fonts/fontawesome-webfont.ttf → docs/fonts/fontawesome-webfont.ttf b/web/site/fonts/fontawesome-webfont.ttf → docs/fonts/fontawesome-webfont.ttf
diff --git a/web/site/fonts/fontawesome-webfont.woff → docs/fonts/fontawesome-webfont.woff b/web/site/fonts/fontawesome-webfont.woff → docs/fonts/fontawesome-webfont.woff
diff --git a/web/site/fonts/fontawesome-webfont.woff2 → docs/fonts/fontawesome-webfont.woff2 b/web/site/fonts/fontawesome-webfont.woff2 → docs/fonts/fontawesome-webfont.woff2
diff --git a/web/site/img/faustCode.jpg → docs/img/faustCode.jpg b/web/site/img/faustCode.jpg → docs/img/faustCode.jpg
diff --git a/web/site/img/faustText.svg → docs/img/faustText.svg b/web/site/img/faustText.svg → docs/img/faustText.svg
diff --git a/web/site/img/favicon.ico → docs/img/favicon.ico b/web/site/img/favicon.ico → docs/img/favicon.ico
diff --git a/web/site/img/grid.png → docs/img/grid.png b/web/site/img/grid.png → docs/img/grid.png
diff --git a/web/site/index.html → docs/index.html b/web/site/index.html → docs/index.html
@@ -205,5 +205,5 @@ <h4 class="modal-title" id="keyboardModalLabel">Keyboard Shortcuts</h4>
 
 <!--
 MkDocs version : 1.5.2
-Build Date UTC : 2023-09-25 11:12:30.341836+00:00
+Build Date UTC : 2023-09-25 11:20:58.409487+00:00
 -->
diff --git a/web/site/js/base.js → docs/js/base.js b/web/site/js/base.js → docs/js/base.js
diff --git a/web/site/js/bootstrap.min.js → docs/js/bootstrap.min.js b/web/site/js/bootstrap.min.js → docs/js/bootstrap.min.js
diff --git a/web/site/js/jquery-3.6.0.min.js → docs/js/jquery-3.6.0.min.js b/web/site/js/jquery-3.6.0.min.js → docs/js/jquery-3.6.0.min.js
diff --git a/web/site/search/lunr.js → docs/search/lunr.js b/web/site/search/lunr.js → docs/search/lunr.js
diff --git a/web/site/search/main.js → docs/search/main.js b/web/site/search/main.js → docs/search/main.js
diff --git a/web/site/search/worker.js → docs/search/worker.js b/web/site/search/worker.js → docs/search/worker.js
diff --git a/web/site/sitemap.xml → docs/sitemap.xml b/web/site/sitemap.xml → docs/sitemap.xml
diff --git a/web/site/sitemap.xml.gz → docs/sitemap.xml.gz b/web/site/sitemap.xml.gz → docs/sitemap.xml.gz
diff --git a/web/mkdocs/mkdocs.yml b/web/mkdocs/mkdocs.yml
@@ -9,7 +9,7 @@ theme:
   custom_dir: 'theme'
   navigation_depth: 4
 
-site_dir: ../site
+site_dir: ../../docs
 
 extra:
     social: