REPLY: 2:240/12 67994991
MSGID: 1:153/7001 683636ea
CHRS: UTF-8 4
Hey Gerrit!

> There is usually a command named "texi2any"

On my systems "makeinfo" is a symlink to "texi2any".  The little I've used it
directly would explain why I posted it as "makeinfo".

> installed with the texinfo package that does exactly this.

I would hope so!  Something would be amiss if that weren't true.

Life is good,
Maurice

 o-  -o   -o   -o
/)    (\   (\   (\
^^    ^^   ^^   ^^
... Ne sceal man to ær forht ne to ær fægen.
    One should not be too soon fearful nor too soon joyful.
--- GNU bash, version 5.2.37(1)-release (x86_64-pc-linux-gnu)
 * Origin: Little Mikey's Brain - Ladysmith BC, Canada (1:153/7001)
SEEN-BY: 18/200 50/22 103/705 105/81 106/201 124/5016 128/187 129/14
SEEN-BY: 129/305 134/100 153/135 143 148 151 153 757 6809 7001 7715
SEEN-BY: 154/10 30 110 203/0 218/700 221/0 6 226/30 227/114 229/110
SEEN-BY: 229/111 114 206 275 300 317 400 426 428 470 550 616 664 700
SEEN-BY: 229/705 240/1120 5832 263/1 266/512 280/464 5003 291/111
SEEN-BY: 292/854 8125 301/1 310/31 320/219 322/757 341/66 234 342/200
SEEN-BY: 396/45 423/120 460/58 256 1124 5858 467/888 633/280 712/848
SEEN-BY: 770/1 902/26 5020/400 545 5054/30 5075/35
PATH: 153/7001 757 280/464 460/58 229/426