Hello Jaime,
> I guess for simple changes like this I just commit a a new version of
> doc/info/Matrices.texi; is that enough, or should I do something else?
Just verify that makeinfo succeeds after you make this change
or anything like it. You can also make the appropriate changes
in the doc/info/es and doc/info/pt directories if you want.
Since this is a minor bug fix, you can commit this change to
the 5.9.3 branch as well as HEAD.
Thanks for your help,
Robert Dodier