Re: texinfo.tex and translated docs snippets status

[Graham Percival]

John Mandereau wrote:

> I hope I've just managed to compile user manual in PDF in German, French
> and Spanish.  It was not trivial: I hit some issues, and I need to have
> your opinion before going ahead.  I won't push too quickly to master
> anyway, as consequences of these changes must be evaluated first.

I'm not actually very knowledgeable about texinfo.  If Werner says it's 
ok, then it's certainly fine with me.  :)

Cheers,
- Graham