Verified Commit 3106ebbb authored by
Manual: in a few places, replace “Octave” by “GNU Octave”
This is a partial revert of 8fa4c483. Actually, the official name is “GNU Octave”, and it is easier to find it under that name in search engines. So use the full name at a few prominent places, and use the shorter “Octave” everywhere else.
Showing with 3 additions and 3 deletions