diff --git a/.github/workflows/Deploy_web_site_with_ssh.yml b/.github/workflows/Deploy_web_site_with_ssh.yml index 58ab5d9a0..e62f1b5df 100644 --- a/.github/workflows/Deploy_web_site_with_ssh.yml +++ b/.github/workflows/Deploy_web_site_with_ssh.yml @@ -16,6 +16,8 @@ jobs: run: yq -i '.JB.BASE_PATH = "${{ vars.CGAL_WEB_SITE_URL }}"' _config.yml - name: Remove demo/ (temporarily) run: rm -rf demo/ + - name: setup nodejs + run: npm install - name: Build with Jekyll uses: actions/jekyll-build-pages@v1 with: diff --git a/.github/workflows/Receive_PR.yml b/.github/workflows/Receive_PR.yml index b5486157c..27207f738 100644 --- a/.github/workflows/Receive_PR.yml +++ b/.github/workflows/Receive_PR.yml @@ -15,6 +15,8 @@ jobs: run: yq -i '.JB.BASE_PATH = "https://cgal.github.io/cgal-web"' _config.yml - name: Remove demo/ (temporarily) run: rm -rf demo/ + - name: setup nodejs + run: npm install - name: Setup Pages uses: actions/configure-pages@v5 - name: Build with Jekyll diff --git a/_config.yml b/_config.yml index b094a3e70..850ffd9a8 100644 --- a/_config.yml +++ b/_config.yml @@ -2,7 +2,9 @@ # For more see: http://jekyllrb.com/docs/permalinks/ permalink: /:categories/:year/:month/:day/:title/ -include: [.htaccess] +include: + - .htaccess + - node_modules exclude: [".rvmrc", ".rbenv-version", "README.md", "Rakefile", "changelog.md", "web_old"] highlighter: pygments diff --git a/_includes/themes/cgal/default.html b/_includes/themes/cgal/default.html index 80a12696b..4add39abc 100644 --- a/_includes/themes/cgal/default.html +++ b/_includes/themes/cgal/default.html @@ -13,21 +13,21 @@ - - + + + + - + - -
- - - - - - - - - + + + + + + +