Yesterday the mailing list has answered a long-standing question of mine. The attached patch adds this answer to the texinfo manual.
Kind regards,
Gunter
Resolved with commit 2a7de55e74ecedec996365004408e68a5903767a.
Log in to post a comment.
Resolved with commit 2a7de55e74ecedec996365004408e68a5903767a.