I was talking about tla help, not --help. I am not sure we are talking about the same thing.
We are, I'm just used to --help and often confuse it with `tla help'. `tla --help' should really print out the same stuff as `tla help'. _______________________________________________ Gnu-arch-users mailing list Gnu-arch-users@gnu.org http://lists.gnu.org/mailman/listinfo/gnu-arch-users GNU arch home page: http://savannah.gnu.org/projects/gnu-arch/
