# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778867960 -7200
# Node ID 90bbece6fae859922488c6de8050da7a092d560f
# Parent  eb3d0ae3143b49111a5865893596cf9e1a671a3f
Implement an option for my-doc-fonts.sty to not change anything.

Skip the otherwise implemented default "dejavusansmono".

diff -r eb3d0ae3143b -r 90bbece6fae8 docs/_latex/my-doc-fonts.sty
--- a/docs/_latex/my-doc-fonts.sty	Fri May 15 19:54:58 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Fri May 15 19:59:20 2026 +0200
@@ -32,6 +32,7 @@
 
 % A key compatible with options processing as option "fonts" but choices.
 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{%
+  default,
   dejavusansmono,
   cm,
   robotomono,
@@ -55,6 +56,8 @@
   \@mdf@WithLibertinusfalse
   % Now set the needed font selection flag
   \ifcase\nr\relax
+    \relax
+  \or
     \@mdf@WithDejaVuSansMonotrue
   \or
     \@mdf@WithCMtrue