[bug #61817] ditroff(7): retire man page

[G. Branden Robinson]

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/