From 6ccd47f6c77c7428d548021ba2ea3009f6d2a09d Mon Sep 17 00:00:00 2001
From: Berbe <4251220+Berbe@users.noreply.github.com>
Date: Sun, 12 May 2024 18:02:29 +0200
Subject: [PATCH] Doc: Mention Release type

---
 COMPILING.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/COMPILING.md b/COMPILING.md
index 74e816253e..95a2d64ada 100644
--- a/COMPILING.md
+++ b/COMPILING.md
@@ -104,7 +104,9 @@ builds.
 
 - `-DCMAKE_BUILD_TYPE=RelWithDebInfo`: build a release build. This is
    significantly faster than a debug build, but has far less useful information
-   in case of a crash.
+   in case of a crash. Binaries still contain symbols, aka "unstripped".
+- `-DCMAKE_BUILD_TYPE=Release`: Same as previous option, without symbols,
+   aka "stripped".
 - `-DOPTION_DEDICATED=ON`: build OpenTTD without a GUI. Useful if you are
    running a headless server, as it requires less libraries to operate.
 - `-DOPTION_USE_ASSERTS=OFF`: disable asserts. Use with care, as assert