On Tue, Apr 18, 2017 at 4:54 PM, Bertram Scharpf <li...@bertram-scharpf.de> wrote: > On Tuesday, 18. Apr 2017, 23:35:02 +0200, Alan McKinnon wrote: >> On 18/04/2017 23:21, Bertram Scharpf wrote: >> > On Tuesday, 18. Apr 2017, 13:11:02 -0500, R0b0t1 wrote: >> >> On Tue, Apr 18, 2017 at 12:51 PM, Bertram Scharpf >> >> <li...@bertram-scharpf.de> wrote: >> >>> >> >>> % gmplayer >> >>> zsh: command not found: gmplayer >> >> >> >> Which program are you looking for? >> > >> > It is mentioned in "man mplayer". It's the graphical user >> > inferface. >> >> I thought that particular binary was abandoned *years* ago by mplayer - >> it was unmaintained? >> >> Looks like cruft is left in the man page > > It is mentioned in the _German_ translation of the man page. > I don't know what the original version says because it > didn't get installed here. > > Bertram > > > -- > Bertram Scharpf > Stuttgart, Deutschland/Germany > http://www.bertram-scharpf.de >
If you have the time I'm sure the project would appreciate a documentation bug report.