groff-commit
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[groff] 05/08: grodvi(1): Set off section heading with comments.


From: G. Branden Robinson
Subject: [groff] 05/08: grodvi(1): Set off section heading with comments.
Date: Sun, 11 Nov 2018 15:42:26 -0500 (EST)

gbranden pushed a commit to branch master
in repository groff.

commit edea207e2a731058e13471e433833661a7ec2a5e
Author: G. Branden Robinson <address@hidden>
Date:   Sun Nov 11 14:08:06 2018 -0500

    grodvi(1): Set off section heading with comments.
    
    Signed-off-by: G. Branden Robinson <address@hidden>
---
 src/devices/grodvi/grodvi.1.man | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/devices/grodvi/grodvi.1.man b/src/devices/grodvi/grodvi.1.man
index face184..36306c4 100644
--- a/src/devices/grodvi/grodvi.1.man
+++ b/src/devices/grodvi/grodvi.1.man
@@ -389,10 +389,13 @@ must be called before any language-specific files; it 
doesn't take
 care of hcode values.
 .
 .
+.\" ====================================================================
 .SH ENVIRONMENT
+.\" ====================================================================
+.
 .TP
 .SM
-.B GROFF_FONT_PATH
+.I GROFF_FONT_PATH
 A list of directories in which to search for the
 .BI dev name
 directory in addition to the default ones.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]