Am 30.12.2022 um 12:50 teilte Patrice Dumas mit: Hi,
I tried to reproduce the issue from the sources, both in the release and the dev branch and I can't. My guess is that it is indeed an issue with help2man as the headers shows: .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.49.3. I use a debian testing. This issue seems to be in the sources tarball. My wild guess is that Gavin uses an older help2man with that issue.
He does. Here the header of the manual page in the tar ball: .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.47.13. .TH TEXI2DVI "1" "November 2022" "texi2dvi 7.0.1)" "User Commands" H. -- #206401 http://counter.li.org
