Man page instead of terminal --help

[Nick Schermer]

Hi,

I've created a branch to move the terminal --help contents into a man
page. Instead of dumping the help lines, terminal --help will spawn
man (or print a message if this failed).
The help entries are shared with the html documentation, so both are
always in sync and translatable. This should make translating easier
and the man page is much easier to read.

Changes are visible in the nick/man branch of terminal.

Any objections? Ideas?

Nick

To try this:
git clone http://git.xfce.org/git/apps/terminal
git co remotes/origin/nick/man
./autogen.sh --enable-gen-doc
.....the usual stuff