mirror of
https://https.git.savannah.gnu.org/git/groff.git
synced 2026-01-26 07:37:53 +00:00
doc/groff.texi.in: Fix style nit.
"Usenet" is not an acronym. Thanks to Martin D. Kealey for pointing that out. <https://lists.gnu.org/archive/html/bug-bash/2025-10/msg00033.html> Also break input lines in a roff-friendly way. ANNOUNCE: Acknowledge Martin.
This commit is contained in:
parent
f8efdba40f
commit
cefed74f8f
1
ANNOUNCE
1
ANNOUNCE
@ -203,6 +203,7 @@ Ken Mandelberg
|
||||
Larry Kollar
|
||||
Lennart Jablonka
|
||||
Lukas Javorsky
|
||||
Martin D. Kealey
|
||||
Michał Kruszewski
|
||||
Mike Fulton
|
||||
Morten Bo Johansen
|
||||
|
||||
@ -16871,13 +16871,24 @@ bar
|
||||
@pindex nrchbar
|
||||
@pindex changebar
|
||||
@pindex diffmk
|
||||
The margin character mechanism is commonly used to annotate changes in
|
||||
documents. The @code{groff} distribution ships a program,
|
||||
@command{gdiffmk}, to assist with this task.@footnote{Historically,
|
||||
tools named @command{nrchbar} and @command{changebar} were developed for
|
||||
marking changes with margin characters and could be found in archives of
|
||||
the @code{comp.sources.unix} @acronym{USENET} group. Some proprietary
|
||||
Unices also offer(ed) a @command{diffmk} program.}
|
||||
The margin character mechanism
|
||||
is commonly used to annotate changes in documents.
|
||||
The
|
||||
@code{groff}
|
||||
distribution ships a program,
|
||||
@command{gdiffmk},
|
||||
to assist with this task.@footnote{Historically,
|
||||
tools named
|
||||
@command{nrchbar}
|
||||
and
|
||||
@command{changebar}
|
||||
were developed for marking changes with margin characters
|
||||
and could be found in archives of the
|
||||
@code{comp.sources.unix}
|
||||
Usenet group.
|
||||
Some proprietary Unices also offer(ed) a
|
||||
@command{diffmk}
|
||||
program.}
|
||||
|
||||
|
||||
@c =====================================================================
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user