Bug#711508: gnome-terminal: man page is outdated

[Vincent Lefevre]

Control: tags -1 - upstream

As said on https://bugzilla.gnome.org/show_bug.cgi?id=701691#c3
the man page is a Debian addition, thus this is not an upstream bug.

On 2013-06-07 16:39:05 +0530, niku wrote:
> Gnome-terminal’s lead developer Christian Persch tells on the linked page
> that Debian man’s page of the project (which is in turn used by other
> distributions) is outdated. In particular, he reports two developments missing
> from the man page:
> 
> (i) the options -e and -x are now deprecated.
> (ii) `--' is the substitute for both of them.

And --disable-factory is no longer supported.

The man page should either be updated or removed.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)