Hi, On 2023-03-29 18:15:02 +0200, Peter Eisentraut wrote: > On 25.03.23 21:14, Andres Freund wrote: > > I wonder if, for meson, the best behaviour would be to make 'docs' a feature > > set to auto. If docs set to enabled, and the necessary tools are not > > available, fail at that time, instead of doing so while building. > > Makes sense to me. > > > If that's what we decide to do, perhaps "docs" should be split further? The > > dependencies for pdf generation are a lot more heavyweight. > > I think "docs" should be html and man, because that's what gets installed. > > pdf and other things can just be an ad hoc build target and doesn't need > install support.
I just meant for feature detection. Greetings, Andres Freund
