Issue 4992/1: Add `-dgs-never-embed-fonts` option

For Ghostscript, never embed fonts.

diff --git a/scm/lily.scm b/scm/lily.scm
index d1248cdd92d6c0e1a23e0ecfebfc9e877d25dc5a..4a5f5e96c9dcf53f1601875827892c7fe553a78d 100644 (file)
--- a/scm/lily.scm
+++ b/scm/lily.scm
@@ -282,6 +282,9 @@ given amount (in mm).")
     (gs-load-lily-fonts
      #f
      "Load only LilyPond fonts via Ghostscript.")
+    (gs-never-embed-fonts
+     #f
+     "Make Ghostscript embed only TrueType fonts and no other font format.")
     (gui
      #f
      "Run LilyPond from a GUI and redirect stderr to