diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-05-05 08:05:34 -0500 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2023-05-05 13:32:55 -0500 |
commit | f5e7a13f3ffa29190dfda70502a51625889a5ddf (patch) | |
tree | d59175301df344f57a686f1c67d3caf11431cf3b /man | |
parent | 8618653e17e630326182debf9d997ac708801aae (diff) | |
download | groff-git-f5e7a13f3ffa29190dfda70502a51625889a5ddf.tar.gz |
[man pages]: Adjust dead-tree pagination.
Also drop an unnecessary paragraph break in glilypond(1).
Diffstat (limited to 'man')
-rw-r--r-- | man/groff.7.man | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/groff.7.man b/man/groff.7.man index 19951296c..b4fa3bd5a 100644 --- a/man/groff.7.man +++ b/man/groff.7.man @@ -5429,6 +5429,8 @@ prevents unwanted space from creeping into them during source document maintenance. . . +.br +.ne 3v .P Several requests exist to perform rudimentary string operations. . |