[doc patch] whatis vs. ptype - the difference

[Tom Tromey]

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Jan> another possibility is to fix it - that `ptype var' strips the
Jan> typedefs looks wrong.  But GDB people are used how it works.

I think it is handy to have both options available.  And, compatibility
usually wins.  So I'd rather not change it.

However, we could also give ptype and whatis options, to let the user
choose another way.

Tom