From 1bb7d10e7660e876bbbd1177ad55d7a6fb41a547 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 27 Aug 2024 12:21:35 +0100
Subject: [PATCH] Rename doc/doc.md -> doc/index.md

---
 doc/index.html           | 5 -----
 doc/{doc.md => index.md} | 0
 2 files changed, 5 deletions(-)
 delete mode 100644 doc/index.html
 rename doc/{doc.md => index.md} (100%)

diff --git a/doc/index.html b/doc/index.html
deleted file mode 100644
index 1f373953..00000000
--- a/doc/index.html
+++ /dev/null
@@ -1,5 +0,0 @@
----
-title: Empty document to protect directory
-layout: default_with_title
-nav_exclude: true
----
diff --git a/doc/doc.md b/doc/index.md
similarity index 100%
rename from doc/doc.md
rename to doc/index.md