diff options
| author | Akira Yokosawa <[email protected]> | 2021-08-09 10:17:00 +0900 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2021-08-12 09:13:32 -0600 |
| commit | 7eb368cc319bbf87ce1c6091a4ddc8bd01ee35d5 (patch) | |
| tree | 7c8b847a7ecf2c7b0b2396771f2b3ca5704490f0 /scripts/gdb/linux/tasks.py | |
| parent | e291ff6f5a034adb9b6ceaeb504ef196cde0ea9e (diff) | |
docs: pdfdocs: Choose Serif font as CJK mainfont if possible
"Noto Serif CJK SC" and its variants suit better with the roman font
of Latin letters.
On some distros such as Fedora, it is possible to partially install
"Noto Sans CJK" fonts.
So, if the Serif fonts are not found on the system, fall back to the
Sans fonts.
Signed-off-by: Akira Yokosawa <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/tasks.py')
0 files changed, 0 insertions, 0 deletions