From 1fc985a97f8436691463f3098c52b416d36b3ffd Mon Sep 17 00:00:00 2001
From: Remy Degenne <remydegenne@gmail.com>
Date: Sat, 11 Apr 2026 21:30:48 +0200
Subject: [PATCH] try website compile fix

---
 .github/workflows/blueprint.yml |  2 ++
 home_page/Gemfile               | 25 ------------------------
 home_page/_config.yml           | 34 ---------------------------------
 3 files changed, 2 insertions(+), 59 deletions(-)
 delete mode 100644 home_page/Gemfile
 delete mode 100644 home_page/_config.yml

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index aeb9c1c3..8f36c45b 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -59,4 +59,6 @@ jobs:
         uses: leanprover-community/docgen-action@deed0cdc44dd8e5de07a300773eb751d33e32fc8 # 2025-10-26
         with:
           blueprint: true
+          api-docs: false
+          build-page: false
           homepage: home_page
diff --git a/home_page/Gemfile b/home_page/Gemfile
deleted file mode 100644
index a6a5bb05..00000000
--- a/home_page/Gemfile
+++ /dev/null
@@ -1,25 +0,0 @@
-source "https://rubygems.org"
-
-# To upgrade, run `bundle update github-pages`.
-gem "github-pages", group: :jekyll_plugins
-# If you have any plugins, put them here!
-group :jekyll_plugins do
-  #gem "jekyll-feed", "~> 0.12"
-end
-
-# Windows and JRuby does not include zoneinfo files, so bundle the tzinfo-data gem
-# and associated library.
-platforms :mingw, :x64_mingw, :mswin, :jruby do
-  gem "tzinfo", "~> 1.2"
-  gem "tzinfo-data"
-end
-
-# Performance-booster for watching directories on Windows.
-gem "wdm", "~> 0.1.1", :platforms => [:mingw, :x64_mingw, :mswin]
-
-# Lock `http_parser.rb` gem to `v0.6.x` on JRuby builds since newer versions of the gem
-# do not have a Java counterpart.
-gem "http_parser.rb", "~> 0.6.0", :platforms => [:jruby]
-
-# Used for locally serving the website.
-gem "webrick", "~> 1.7"
diff --git a/home_page/_config.yml b/home_page/_config.yml
deleted file mode 100644
index 38559e00..00000000
--- a/home_page/_config.yml
+++ /dev/null
@@ -1,34 +0,0 @@
-# Welcome to Jekyll!
-#
-# This config file is meant for settings that affect your whole blog, values
-# which you are expected to set up once and rarely edit after that. If you find
-# yourself editing this file very often, consider using Jekyll's data files
-# feature for the data you need to update frequently.
-#
-# For technical reasons, this file is *NOT* reloaded automatically when you use
-# 'bundle exec jekyll serve'. If you change this file, please restart the server process.
-#
-# If you need help with YAML syntax, here are some quick references for you:
-# https://learn-the-web.algonquindesign.ca/topics/markdown-yaml-cheat-sheet/#yaml
-# https://learnxinyminutes.com/docs/yaml/
-#
-# Site settings
-# These are used to personalize your new site. If you look in the HTML files,
-# you will see them accessed via {{ site.title }}, {{ site.email }}, and so on.
-# You can create any custom variable you would like, and they will be accessible
-# in the templates via {{ site.myvariable }}.
-
-title: Lean Machine Learning
-#email: your-email@example.com
-description: The Lean library for machine learning research.
-baseurl: "" # the subpath of your site, e.g. /blog
-url: "https://RemyDegenne.github.io/lean-bandits" # the base hostname & protocol for your site, e.g. http://example.com
-twitter_username:
-github_username: RemyDegenne
-repository: RemyDegenne/lean-bandits
-
-# Build settings
-remote_theme: pages-themes/cayman@v0.2.0
-plugins:
-  - jekyll-remote-theme
-  - jekyll-github-metadata