[PATCH 18/18] document the new VxWorks port

[Joel Brobecker]

> > Interesting name. This command used to be called "info vxworks-tasks" :)
> 
> Well, it sounds like a good name to me ;-)

OK, so it sounds like we are converging (I read your other message,
and it seemed to me that we were saying the same thing).  We originally
renamed that command because we didn't want to pollute the "info"
prefix with VxWorks-specific commands - which is why we created
the "info wtx" sub-prefix.  So would "info wtx vxworks-tasks" be OK?

-- 
Joel