diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-01-19 19:09:25 -0600 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-01-20 13:48:30 -0600 |
commit | b1a40a1bc3a1a56cc326b36d8abba00341a0674d (patch) | |
tree | a1ec22c10cf924f7a7cbb3a531c05e92a17a7fd7 /man | |
parent | 2c6c72c9a4114cd87b9c99a3246842bba855c60b (diff) | |
download | groff-git-b1a40a1bc3a1a56cc326b36d8abba00341a0674d.tar.gz |
[docs]: Improve terminological discipline.
"input trap" -> "input line trap"
Diffstat (limited to 'man')
-rw-r--r-- | man/groff.7.man | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/groff.7.man b/man/groff.7.man index 3b7e7a1f1..43fdea99e 100644 --- a/man/groff.7.man +++ b/man/groff.7.man @@ -6732,7 +6732,7 @@ margin characters . . .IP \[bu] -input traps +input line traps . . .IP \[bu] |