changeset 228:e363dc537be5

Comment
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 20:23:03 +0200
parents 0fb4e7c34b10
children 29826707b7da
files docs/_latex/my-doc-fonts.sty
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/docs/_latex/my-doc-fonts.sty	Fri May 15 20:07:39 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Fri May 15 20:23:03 2026 +0200
@@ -35,7 +35,7 @@
   default,   % do not change anything: deactivate the default dejavusansmono
   % no augmentation needed: all characters available
   dejavusansmono,  % use DejaVu Sans Mono as monospaced font
-  % the fonts below need augmentation for missing characters
+  % the fonts below are augmented for missing characters
   cm,              % assume CM fonts and just fix missing characters
   robotomono,      % use Roboto Mono as mono font
   ibmplex, plex,   % use the IBM Plex family (incl. Math)