# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778868459 -7200
# Node ID 0fb4e7c34b10157105555db305c879d905fe94da
# Parent  90bbece6fae859922488c6de8050da7a092d560f
Comment the options

diff -r 90bbece6fae8 -r 0fb4e7c34b10 docs/_latex/my-doc-fonts.sty
--- a/docs/_latex/my-doc-fonts.sty	Fri May 15 19:59:20 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Fri May 15 20:07:39 2026 +0200
@@ -32,16 +32,19 @@
 
 % A key compatible with options processing as option "fonts" but choices.
 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{%
-  default,
-  dejavusansmono,
-  cm,
-  robotomono,
-  ibmplex, plex,
-  plex-dejavusansmono,
-  adobesourcepro, adobesource,
-  spectral,
-  charter,
-  libertinus}{%
+  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
+  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)
+  plex-dejavusansmono,  % use IBM Plex Mono as mono font
+  adobesourcepro, adobesource,  % Use Adobe Source Serif/Sans/Mono
+  spectral,        % use Spectral, Source Sans Pro and Source Code Pro
+  charter,         % use XCharter (with XCharter Math), Lato and Inconsolata
+  libertinus       % use Libertinus family (incl. Math)
+  }{%
   % Not used for now : store the normalized option value (global and expanded)
   \xdef\@mdf@fonts{\val}%
   % Reset all option related font selection flags