[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #61818] groff_filenames(5): retire man page
|
From: |
G. Branden Robinson |
|
Subject: |
[bug #61818] groff_filenames(5): retire man page |
|
Date: |
Fri, 2 Sep 2022 20:02:36 -0400 (EDT) |
Update of bug #61818 (project groff):
Status: In Progress => Fixed
Open/Closed: Open => Closed
Planned Release: None => 1.23.0
_______________________________________________________
Follow-up Comment #1:
commit ff2e281ed41143407ff7b10e0a1146f0d690e043
Author: G. Branden Robinson <g.branden.robinson@gmail.com>
Date: Fri Sep 2 18:19:40 2022 -0500
Drop groff_filenames(5) document.
It says nothing accurate that is not covered elsewhere.
* contrib/groff_filenames: Delete.
* doc/doc.am (GROFF_MAN_PAGES): Drop.
* src/roff/groff/groff.1.man: Drop cross reference to it.
* NEWS: Add item.
Fixes <https://savannah.gnu.org/bugs/index.php?61818>.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?61818>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/