[PATCH 12/13] doc/bash.1: Fix *roff style nit.

[G. Branden Robinson]

While font mounting position 3 is usually assigned a bold typeface, it
seems a bit fragile to not explicitly ask for bold.  The concept of
mounting positions is also not something man page authors typically need
to think about.
---
 doc/bash.1 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/bash.1 b/doc/bash.1
index a32fb88c..323356c7 100644
--- a/doc/bash.1
+++ b/doc/bash.1
@@ -3918,8 +3918,8 @@ .SS Word Splitting
 of
 .BR <space><tab><newline> .
 .PP
-Explicit null arguments (\^\f3\*"\^\*"\fP or
-\^\f3\*'\^\*'\fP\^) are retained
+Explicit null arguments (\^\fB\*"\^\*"\fP or
+\^\fB\*'\^\*'\fP\^) are retained
 and passed to commands as empty strings.
 Unquoted implicit null arguments, resulting from the expansion of
 parameters that have no values, are removed.
@@ -4244,7 +4244,7 @@ .SS Quote Removal
 characters
 .BR \e ,
 .BR \*' ,
-and \^\f3\*"\fP\^ that did not result from one of the above
+and \^\fB\*"\fP\^ that did not result from one of the above
 expansions are removed.
 .SH REDIRECTION
 Before a command is executed, its input and output
-- 
2.30.2

signature.asc
Description: PGP signature