Description of problem: gnome-terminal has no manpage. AFAICS, the command line options are given nowhere else. How reproducible: always Steps to Reproduce: 1. $ man gnome-terminal Actual results: Error message "No manual entry for gnome-terminal" Expected results: display man page Additional info: We could borrow the man page from the debian people, e.g. http://manpages.debian.net/cgi-bin/man.cgi?query=gnome-terminal
Upstreamed: http://bugzilla.gnome.org/show_bug.cgi?id=547962