[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnubg] doc needs makeinfo 4
From: |
Joern Thyssen |
Subject: |
Re: [Bug-gnubg] doc needs makeinfo 4 |
Date: |
Mon, 12 Aug 2002 20:50:58 +0000 |
User-agent: |
Mutt/1.4i |
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)