From 7c3d14c06e1b66d47ecdce4bc5c7e4a0c22d8c02 Mon Sep 17 00:00:00 2001
From: Desour <ds.desour@proton.me>
Date: Fri, 20 Jun 2025 21:42:11 +0200
Subject: [PATCH] Rename doc/developing/misc.md to profiling.md

---
 doc/developing/README.md                 | 2 +-
 doc/developing/{misc.md => profiling.md} | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename doc/developing/{misc.md => profiling.md} (99%)

diff --git a/doc/developing/README.md b/doc/developing/README.md
index 80e531bea3..92433019d8 100644
--- a/doc/developing/README.md
+++ b/doc/developing/README.md
@@ -17,7 +17,7 @@ Notable pages:
 - [Developing minetestserver with Docker](docker.md)
 - [Android tips & tricks](android.md)
 - [OS/library compatibility policy](os-compatibility.md)
-- [Miscellaneous](misc.md)
+- [Profiling instructions](profiling.md)
 
 ## IRC
 
diff --git a/doc/developing/misc.md b/doc/developing/profiling.md
similarity index 99%
rename from doc/developing/misc.md
rename to doc/developing/profiling.md
index 5992946cb2..2c334183ba 100644
--- a/doc/developing/misc.md
+++ b/doc/developing/profiling.md
@@ -1,4 +1,4 @@
-# Miscellaneous
+# Profiling
 
 ## Profiling Luanti on Linux with perf