Re: translation of def* aliases

[Karl Berry]

    Should @def* shortcut like @defun output be translated.  For example 
    @defun is the same as 
      @deffn Function ...
    should it be interpreted as, if language is french, as
      @deffn Fonction ...

Yes.  texinfo.tex does that, I do believe.
(Leading to ungrammatical constructions sometimes, but it's all I can do
..)