From: Peter Dimov (pdimov_at_[hidden])
Date: 2024-12-22 15:47:13
Ruben Perez wrote:
> I think we usually refer to this as the "add_subdirectory workflow".
> Maybe I'm worrying about the installation workflow too much.
You aren't. Users definitely care about the installation workflow.