lean4-htt/doc/make
Garmelon 67b6e815b9
chore: strip binaries only in release builds (#13208)
This commit ensures binaries are only stripped in the `release` build
preset, not in any of the other presets.

Since `release` is used for development, the commit adds a non-stripping
copy called `dev` that can be used via `cmake --preset dev`.
2026-03-31 17:18:43 +00:00
..
emscripten.md
index.md chore: strip binaries only in release builds (#13208) 2026-03-31 17:18:43 +00:00
msys2.md
osx-10.9.md doc: freshen up Mac OSX build instructions (#9618) 2025-07-29 21:42:24 +00:00
ubuntu.md
wsl.md