From 488ed7824037dd7982396ec54fbb69cd8cf381b8 Mon Sep 17 00:00:00 2001
From: Kuba Sunderland-Ober <kuba@mareimbrium.org>
Date: Sat, 16 May 2026 21:22:30 +0200
Subject: [PATCH] Remove .bat files from all renders, and drop unused
 redirects.json.

---
 docs/_config.yml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/docs/_config.yml b/docs/_config.yml
index bf0e673..b48f000 100644
--- a/docs/_config.yml
+++ b/docs/_config.yml
@@ -72,6 +72,9 @@ callouts:
 #   - vendor/gems/
 #   - vendor/ruby/
 
+redirect_from:
+  json: false
+
 # For copy button on code
 enable_copy_code_button: true
 
@@ -145,8 +148,6 @@ offline_exclude:
   - CNAME
   - robots.txt
   - sitemap.xml
-  - redirects.json
-  - "*.bat"
 
 # Excludes for both the build (Jekyll won't try to process these as
 # source) and the watcher (`jekyll serve` won't trigger a rebuild
@@ -155,4 +156,6 @@ offline_exclude:
 # Offlinify plugin's writes don't kick the watcher into an infinite
 # rebuild loop. Keep this in sync with also_build_offline above.
 exclude:
-  - _site-offline
\ No newline at end of file
+  - _site-offline
+  - redirects.json
+  - "*.bat"