URL: <https://savannah.gnu.org/patch/?10602>
Summary: [PATCH 02/31] texinfo rm setfilename
Group: MIT/GNU Scheme
Submitter: barak
Submitted: Thu 24 Sep 2026 04:11:28 PM UTC
Category: None
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Originator Email:
Open/Closed: Open
Discussion Lock: Unlocked
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Thu 24 Sep 2026 04:11:28 PM UTC By: Barak A. Pearlmutter <barak>
@setfilename has not been needed since Texinfo 5.0, which takes the
output name from the input file name, and giving it is now discouraged.
Each of these names its output exactly as the file itself is named, so
the line is redundant.
_______________________________________________________
File Attachments:
Name: 0002-texinfo-rm-setfilename.patch Size: 3.5KiB
<https://file.savannah.gnu.org/file/0002-texinfo-rm-setfilename.patch?file_id=58993>
AGPL NOTICE
These attachments are served by Savane. You can download the corresponding
source code of Savane at
https://savannah.gnu.org/source/savane-2ce82de06cddf3c312e2e260f2c97db720d76efc.tar.gz
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?10602>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
