diff --git a/doc/man-ptel.but b/doc/man-ptel.but index 07a756b1..4101c867 100644 --- a/doc/man-ptel.but +++ b/doc/man-ptel.but @@ -31,6 +31,7 @@ Sorry.) \dt \cw{\-fn} \e{font-name} \dd Specify the font to use for normal text displayed in the terminal. +For example, \cw{\-fn\_fixed}, \cw{\-fn\_"Monospace\_12"}. \dt \cw{\-fb} \e{font-name} diff --git a/doc/man-pter.but b/doc/man-pter.but index 26d5842d..fec97f11 100644 --- a/doc/man-pter.but +++ b/doc/man-pter.but @@ -51,6 +51,7 @@ sets of defaults and choose between them. \dt \cw{\-fn} \e{font-name} \dd Specify the font to use for normal text displayed in the terminal. +For example, \cw{\-fn\_fixed}, \cw{\-fn\_"Monospace\_12"}. \dt \cw{\-fb} \e{font-name} diff --git a/doc/man-putt.but b/doc/man-putt.but index 72094495..708bae7f 100644 --- a/doc/man-putt.but +++ b/doc/man-putt.but @@ -30,6 +30,7 @@ Sorry.) \dt \cw{\-fn} \e{font-name} \dd Specify the font to use for normal text displayed in the terminal. +For example, \cw{\-fn\_fixed}, \cw{\-fn\_"Monospace\_12"}. \dt \cw{\-fb} \e{font-name}