# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778869383 -7200
# Node ID e363dc537be52a3ceb84fbf9bbe0f5821dcbe179
# Parent  0fb4e7c34b10157105555db305c879d905fe94da
Comment

diff -r 0fb4e7c34b10 -r e363dc537be5 docs/_latex/my-doc-fonts.sty
--- 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)