update texinfo manual to compile on lastest texinfo version

Signed-off-by: Mattias Andrée <maandree@operamail.com>