bug#25452: closed (stumpwm does not install info manual)

[GNU bug Tracking System]

Your message dated Mon, 18 May 2020 10:22:16 +0300
with message-id <20200518072216.GG18220@E5400>
and subject line Re: bug#25452: stumpwm does not install info manual
has caused the debbugs.gnu.org bug report #25452,
regarding stumpwm does not install info manual
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
25452: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25452
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> stumpwm does not install info manual
>
>
>
>
> Date: 
>
> Sun, 15 Jan 2017 02:17:02 +0100
>
>
>
>
> User-agent: 
>
> mu4e 0.9.18; emacs 25.1.1
>
>
>
>
> The “sbcl-stumpwm” package does not install the “stumpwm.info” manual.
>
> The Makefile’s install target should do this, but the asdf-build-system
> ignores the Makefile.
>
> --
> Ricardo
>
> GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
> http://elephly.net
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: bug#25452: stumpwm does not install info manual Date: Mon, 18 May 2020 10:22:16 +0300

On Mon, May 18, 2020 at 08:02:35AM +0200, random user via web wrote:
> Hello.
> 
> I think this was fixed in commit 46c1c5537b3c140b1e597a020f38c77fb97f26ec
> 
> Close?
> 

It does seem to be installed now in the "out" output. Closing the bug.

-- 
Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---