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

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 18 May 2020 07:23:02 +0000

Your bug report

#25452: stumpwm does not install info manual

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
25452: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=25452
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#25452: stumpwm does not install info manual
From: Efraim Flashner <[email-masked]>
To: [email-masked]
Date: Mon, 18 May 2020 10:22:16 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

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   <[email-masked]>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

Subject: stumpwm does not install info manual
From: Ricardo Wurmus <[email-masked]>
To: [email-masked]
Date: Sun, 15 Jan 2017 02:17:02 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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