If we are only talking about the existence of the macros
@codequoteundirected and @sortas, those are defined in the texinfo.tex
file which we inherit from gnulib, so there might not be a problem at
Are the macros, defined in texinfo.tex, used for the HTML output as well? I
assume this is where my build fails using Texinfo 4.13.
Lots of progress being made on this over at bug #52775. The answer
to your question seems to be "no", the macros are not being used by
makeinfo when creating HTML output, although they should be. Also,
Automake is not using its own build rules, but ones that we wrote
specifically, so it is our issue to correct that.