build from svn - texinfo errors

[Per Bothner]

On 04/18/2016 01:09 PM, Claude Marinier wrote:
> Hi,
>
> After spending hours getting Kawa from the Subversion repository (it
> kept timing-out),

Bummer.  I normally don't have problems, but it is possible
there is a server glitch.

> I was able to build it up to the documentation. It
> produces many errors; here are the first few.
>
> Making all in doc
> ...
> kawa.texi:3428: unknown command `sup' (possibly involving @arbno)
> ...

Yes, you can ignore it.

The @sup command was added to texinfo 6.0 (at my suggestion).
(makeinfo --version should be 6.0 or higher.)
Before that I defined @sup as a macro, but that was obviously more of a kludge.

-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/