On Friday 2023-01-13 12:47, Phil Sutter wrote: >Hi Jan, > >On Thu, Jan 12, 2023 at 11:55:17PM +0100, Jan Engelhardt wrote: >> To make distcheck succeed, disting it is enough; it does not need >> to be installed. > >Instead of preventing it from being installed, how about dropping it >altogether? Sure.
