[Freeciv-Dev] Re: patch: cmd_end_game

[David Pfitzner <dwp@xxxxxxxxxxxxxx>]

=?iso-8859-1?Q?Daniel_Sj=F6lie?= <deepone@xxxxxxxxxx> wrote:
> 
> On 2000-08-18 13:42:30, Reinier Post wrote:

> > Actually, I have a comment: could you rename it to /endgame ?
> > That way the name is more descriptive, while /end will still work.
> 
> Sure thing...
> Seems the patch was commited anyway, only there was no entry for it in
> help listing of commands... This little patch fixes that and renames the
> command to endgame...

The commands listed by plain 'help' are just the most important
commands that new players need to get going.  I don't think 'endgame'
fits that description, so that part of the patch shouldn't be added.
Use 'help commands' and 'help endgame' instead.

-- David