Andreas Schwab <schwab@linux-m68k.org> skribis: > ludo@gnu.org (Ludovic Courtès) writes: > >> The page above was produced by makeinfo 4.13. Version 5.0 doesn’t seem >> to have this problem. > > If makeinfo 5.0 does not produce & then it is buggy. I was referring to ∞. Ludo’.