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 feat: compile against Windows SDK headers under Windows (#5753) 2024-10-22 13:00:02 +00:00
osx-10.9.md doc: freshen up Mac OSX build instructions (#9618) 2025-07-29 21:42:24 +00:00
ubuntu.md fix: indicate dependency on pkgconf in ubuntu docs (#6646) 2025-01-15 05:30:20 +00:00
wsl.md chore: CRLF be gone 2021-11-09 09:49:09 +01:00