diff man/misc.texi @ 70699:434948c350d2

(better_font_p): Any font beats no font. (best_matching_font): Simplify based on above change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 17 May 2006 22:51:07 +0000
parents e41cc24662e3
children a262d4625442 146cd8369025
line wrap: on
line diff