diff docs/_latex/my-doc-fonts.sty @ 226:90bbece6fae8

Implement an option for my-doc-fonts.sty to not change anything. Skip the otherwise implemented default "dejavusansmono".
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 19:59:20 +0200
parents eb3d0ae3143b
children 0fb4e7c34b10
line wrap: on
line diff
--- 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