On Sat, May 30, 2020 at 05:13:56AM +0200, Christopher Dimech wrote: > > > I have noticed that trying to use alias on @unnumberedsec > makes texinfo behave strangely when trying to get the manual. > > @alias usec = unnumberedsec
Can you be more specific about what you mean by "trying to get the manual"?