From 537633a42660a5242ce62b41cc16a4c3c469ac2d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 1 Mar 2019 13:23:43 +0000
Subject: [PATCH] $sz

---
 generate-board | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/generate-board b/generate-board
index e1a5a33..ea160dd 100755
--- a/generate-board
+++ b/generate-board
@@ -307,13 +307,14 @@ sub edge_faces() {
 }
 
 sub label_faces() {
-  o("  1 setgray  /Helvetica-Bold findfont  18 scalefont setfont\n");
+  my $sz = 18;
+  o("  1 setgray  /Helvetica-Bold findfont  $sz scalefont setfont\n");
   foreach my $rr (values %region) {
     next if $rr->{Special};
     o("   ", psvec($rr->{Centre}), " moveto");
     foreach my $word (@{ $rr->{DisplayName} }) {
       o("   (",$word,") show");
-      o("   0 -18 rmoveto");
+      o("   0 -$sz rmoveto");
     }
   }
 }
-- 
2.30.2