Re: [Bug-gnubg] doc needs makeinfo 4

[Joern Thyssen]

On Mon, Aug 12, 2002 at 11:17:43AM +0200, Sander van Rijnswou wrote
[snip]
> Maybe a symbol can be added to configure.in to check wheter the version
> of makeinfo is high enough? (Or port the info files to makeinfo 3)

I haven't been able to find a autoconf macro for determining the version
of makeinfo, and I didn't want to write one my self. Also, there are
only two occurences of @env, so it's quite simple to change them to,
e.g., @code. 

I'm not sure how many people actually have makeinfo 3. 

Jørn

-- 
Joern Thyssen, PhD
Vendsysselgade 3, 3., DK-9000 Aalborg, Denmark
+45 9813 2791 (private) / +45 2077 2689 (mobile) / +45 9633 7036 (work)