From cde5c0194fd57bd036862bbd290b3f28c0c97738 Mon Sep 17 00:00:00 2001
From: matsb <matsb>
Date: Fri, 2 Aug 2002 18:41:03 +0000
Subject: [PATCH] Reduced line spacing in the font list

---
 buildscripts/mf-to-table.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/buildscripts/mf-to-table.py b/buildscripts/mf-to-table.py
index ee15b10d46..b337ecee82 100644
--- 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
     }
   }
 }
-- 
2.39.2