On Tuesday, 9 August 2022 18:13:10 BST joerg van den hoff wrote:
question: is there a deeper reason, why grops does not traverse all known
font locations/dirs and scan all found `download' files until, hopefully, a
hit is found? I mean except "someone would need to volunteer to implement
it" :).
Don't know.
I have now read groff_font, which I think is quite clear and finally found
the statement regarding "first file found is used". so it *is* spelled out
but it still is easily overlooked (as I am proof of...).
I also would find it more "natural" if grops/gropdf where doing that.
Contrary to what it says in the gropdf man page (which I cobbled from the
grops man page), gropdf does do what you expect. It builds a map from all