GNU bug report logs - #57074
[PATCH] gnu: maxima: Fix to find info files.

Previous Next

Full log

Message #8 received at 57074 <at> debbugs.gnu.org (full text, mbox):

From: Maxime Devos <maximedevos <at> telenet.be>
To: Daniel Meißner <daniel.meissner-i4k <at> ruhr-uni-bochum.de>, 
 57074 <at> debbugs.gnu.org
Subject: Re: [bug#57074] [PATCH] gnu: maxima: Fix to find info files.
Date: Tue, 9 Aug 2022 13:24:03 +0200

[Message part 1 (text/plain, inline)]

On 09-08-2022 12:29, Daniel Meißner via Guix-patches via wrote:

> +         (delete 'compress-documentation))))

Add a comment such that future readers know not to remove that line (for 
simplification?) without having to dig through the git history.

Maybe

> The Maxima command ‘describe’ allows to pick the relevant portions from
> Maxima’s TeXinfo docs.  However it does not support reading gzipped info
> files.
would be a good comment?

Greetings,
Maxime.

[OpenPGP_0x49E3EE22191725EE.asc (application/pgp-keys, attachment)]

[OpenPGP_signature (application/pgp-signature, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.