6 Jun
2024
6 Jun
'24
5:26 p.m.
On Fri, May 24, 2024 at 2:57 PM Andrey Semashev via Boost < boost@lists.boost.org> wrote:
Removing docs is mostly acceptable since they are available online
Well... I don't think removing them completely is a great idea. Instead, the Boost release could consist of two separate archives. One with the documentation, and the other with everything else. And if these two archives are unpacked into the same directory, the result is the same as when unpacking an all-in-one archive. Thanks