On Tue, Jan 09, 2024 at 01:43:51AM +0100, Ralf Hemmecke wrote:
> Hi Waldek,
>
> On 1/8/24 01:15, Waldek Hebisch wrote:
> > I would like to do the following change to install.rst (and
> > consequently INSTALL). This is mostly change due to Ralf,
> > but I did small change to Aldor instructions.
Hi Waldek,
On 1/8/24 01:15, Waldek Hebisch wrote:
I would like to do the following change to install.rst (and
consequently INSTALL). This is mostly change due to Ralf,
but I did small change to Aldor instructions. Now it is
enough to give '--enable-aldor' to make Aldor interface,
do I removed