Reduced line spacing in the font list

diff --git a/buildscripts/mf-to-table.py b/buildscripts/mf-to-table.py
index ee15b10d46d87030ebaea350bc6744a79e82b46d..b337ecee8271faf4bc50930b7079a561b95859bd 100644 (file)
--- a/buildscripts/mf-to-table.py
+++ b/buildscripts/mf-to-table.py
@@ -145,6 +145,7 @@ def write_fontlist (file, global_info, charmetrics):
        file.write (r"""
 }
   \paper{
+    interscoreline=1
     \translator{
       \ScoreContext
       \remove "Bar_number_engraver"
@@ -156,6 +157,7 @@ def write_fontlist (file, global_info, charmetrics):
       \remove "Key_engraver"
       \remove "Time_signature_engraver"
       \remove "Staff_symbol_engraver"
+      minimumVerticalExtent = ##f
     }
   }
 }