Robert Dodier <robert.dodier at gmail.com> writes:
>> Oh, OK. That's easy enough to fix. Just for ?? or for ? as well?
>
> Well, the goal is to display all distinct documentation items. @deffoox
> aren't distinct from the preceding @deffoo, so not them. But if there
> are multiple @deffoo for the same name (as there are for zlabel for
> example) then display all of them.
Ok. I think I understand that, but (unless I'm being slow this morning)
this doesn't answer the question of whether we show the @deffoox items
with "?". I committed a patch hiding them from ?? a couple of days
ago. Hiding them from "?" as well is a ~1 line change.
Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20130530/5fd4046f/attachment.pgp>;