[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #61817] ditroff(7): retire man page
From: |
G. Branden Robinson |
Subject: |
[bug #61817] ditroff(7): retire man page |
Date: |
Mon, 21 Mar 2022 03:46:02 -0400 (EDT) |
Update of bug #61817 (project groff):
Status: None => Fixed
Assigned to: None => gbranden
Open/Closed: Open => Closed
Planned Release: None => 1.23.0
_______________________________________________________
Follow-up Comment #1:
commit d139b026913bff3f7a54afab7a59905e9deb49b3
Author: G. Branden Robinson <g.branden.robinson@gmail.com>
Date: Sat Mar 19 17:58:41 2022 +1100
Drop ditroff(7) document.
It says nothing that is not covered elsewhere.
* man/ditroff.7.man: Delete.
* doc/doc.am (GROFF_MAN_PAGES):
* man/man.am (man7_MANS, EXTRA_DIST): Stop processing, shipping.
* src/roff/groff/groff.1.man: Drop cross reference to it.
* NEWS: Add item.
Fixes <https://savannah.gnu.org/bugs/?61817>.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?61817>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #61817] ditroff(7): retire man page,
G. Branden Robinson <=