Re: gcl-dwdoc.info not installed with gcl 2.7.1?

On 4/25/25 11:14 AM, Camm Maguire wrote:
> Greetings, and thanks for your report!
>
> Curious -- I cannot reproduce.  The file is built and installed for me.
> Can you send your configure and make / make install output?

Nothing fancy.  I did an `autoreconf` first, then just `configure 
--prefix=$HOME/dev/gcl-2.7.1`.  I see that gcl-dwdoc.info` was built.  
Just that `make install` didn't seem to install.

Oh.  I'm wrong. it is installed $HOME/dev/gcl-2.7.1/info.  I guess gcl 
doesn't know where it is and that's why I get the notice from `describe`

>
> Take care,
>
> Raymond Toy<[email protected]> writes:
>
>>   I built gcl from sources and everything works as expected.  However, when I do something like:
>>
>> ```
>>
>>> (describe 'quit)
>> QUIT - external symbol in SYSTEM package
>> -----------------------------------------------------------------------------
>> QUIT                                                               [Function]
>> (not found "gcl-dwdoc.info")
>> -----------------------------------------------------------------------------
>>
>> ```
>>
>> I looked around in prefix/share/info and find other info files but not gcl-dwdoc.info.  It was built though.
>>