Dear developers, I browsed the current Texinfo manual today and found a misspelling in the 'command' section at http://www.gnu.org/software/texinfo/manual/texinfo/html_node/command.html#command:
"Use the @commannd command [...]" Christophe
Dear developers, I browsed the current Texinfo manual today and found a misspelling in the 'command' section at http://www.gnu.org/software/texinfo/manual/texinfo/html_node/command.html#command:
"Use the @commannd command [...]" Christophe