Issue 4994/1: Add `-dfont-export-dir=[dir]` option

Directory for exporting fonts as PostScript files.

diff --git a/scm/lily.scm b/scm/lily.scm
index 4a5f5e96c9dcf53f1601875827892c7fe553a78d..d4553eec19fe74103f772abcf001a7fe7225cf54 100644 (file)
--- a/scm/lily.scm
+++ b/scm/lily.scm
@@ -276,6 +276,9 @@ regression testing.")
      #f
      "Pad left edge of the output EPS bounding box by
 given amount (in mm).")
+    (font-export-dir
+     #f
+     "Directory for exporting fonts as PostScript files.")
     (gs-load-fonts
      #f
      "Load fonts via Ghostscript.")