diff options
author | Colin Watson <cjwatson@debian.org> | 2016-05-16 09:30:17 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2016-05-16 09:30:17 +0100 |
commit | 0e0150b070b908fcbf78c9f9ae020b7ff8089002 (patch) | |
tree | f66b3f68c8635a5d521779eeee7a15d23439d0ad /man/man1 | |
parent | 5c42be5958f4b194f960afa65b574ddda6062069 (diff) |
man(1): Fix incorrect font
* man/man1/man.man1 (SYNOPSIS): Make "--regex" bold. Thanks to Paul
Townsend.
* man/po4a/po/man-db-manpages.pot, man/po4a/po/*.po: Update; unfuzzy all
translations.
Diffstat (limited to 'man/man1')
-rw-r--r-- | man/man1/man.man1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/man1/man.man1 b/man/man1/man.man1 index ec6418ee..d71ce6bc 100644 --- a/man/man1/man.man1 +++ b/man/man1/man.man1 @@ -79,7 +79,7 @@ .RB [\| \-S .IR list \|] .RB [\| \-i \||\| \-I \|] -.RI [\| \-\-regex \|] +.RB [\| \-\-regex \|] .RI [\| section \|] .IR term \ .\|.\|.\& .\" The whatis command line |