On 09.08.22 20:03, Deri wrote:
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
oh, is that true!? then I can revert the "merge" of my private `download'
with the default one for gropdf :). and the manpage might be adjusted to
explicitly emphasize that gropdf behaves that way, possibly?
download files found. I, too, was not aware that grops didn't.
well, if the (newer) gropdf does that, maybe it should be "backported" to grops
:).
best wishes,
joerg
Cheers
Deri
