Hi,
Am Tue, Nov 18, 2025 at 08:55:29AM +0100 schrieb Gábor Németh:
> > as per ITS bug I have uploaded the merged package to delayed=10.
> I had to change the build order + a typo in [1], otherwise couldn't build it.
> Would you please consider merging?
Merged. I'll upload once dict-jargon has passed new queue and the old
source package jargon-text is removed.
> (I also tried to go for the .info stuff but failed. Even with names.xml I
> only got some 56 info nodes so clearly we miss some critical tooling.
Thank you for checking.
> Is texinfo still relevant enough to make the effort worthwile?)
IMHO not, see
#1118537 jargon: Should jargon be removed from unstable?
Kind regards
Andreas.
> [1] https://salsa.debian.org/debian/dict-jargon/-/merge_requests/1
--
https://fam-tille.de
