[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#57074] [PATCH] gnu: maxima: Fix to find info files.

From: Maxime Devos
Subject: [bug#57074] [PATCH] gnu: maxima: Fix to find info files.
Date: Tue, 9 Aug 2022 13:24:03 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.12.0

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.


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


Attachment: OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]