[bug #66583] [PATCH] allow building groff without makeinfo

[anonymous]

Follow-up Comment #24, bug #66583 (group groff):

[comment #23 comment #23:]
> https://savannah.gnu.org/bugs/?66609 does exactly that. The only issue it
> has is that I'm not sure how should manually disabling building the manual
> be reflected in the summary of available features that ./configure prints.
> The current state is that it prints:

> can build groff.{info,html,txt}  : no
> can build groff.{dvi,pdf}        : no


> as if makeinfo wasn't available. I am not sure whether this is correct
> behavior.

Allow me to correct myself. It doesn't do even the above. It prints:

can build groff.{info,html,txt}  : yes

but then doesn't build them anyway, which feels wrong. Either we could
simply print "no", or we could print something like "disabled" to clearly
distinguish it from makeinfo not being available, although it could be
argued that omission of the related warning is precisely such a distinction,
though.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?66583>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/

signature.asc
Description: PGP signature