Hi. > > It's both lines that are outdented. Format the doc and look at > > the page, it'll be very clear. :-) > > > > OK, I understand the problem now. I don't know how I missed that.
:-) > I've made a change that should fix the problem. Please try the latest > version (2017-08-23.19). Thanks for the report. Looks great! Glad to help, and much thanks for the fix. THANK YOU for keeping Texinfo healthy. I've been working in it for over two decades (!) and it's still the best markup language I've ever used. Thanks, Arnold
