On 2025-Oct-03, Tom Lane wrote:
> Would it be unreasonable to discard the "check" target altogether?
> It made sense back in the day when actually building the html docs
> took many minutes. But I haven't used it in years, so I wonder
> if anyone else has either.
I wouldn't particularly appreciate that. Doing "make check" takes 0.6
seconds for me, while the HTML build is 28 seconds. It's quite a
difference.
--
Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
"This is a foot just waiting to be shot" (Andrew Dunstan)