From 27a9a92d3655d23794668f7bd22a084accc54d59 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 2 Mar 2019 17:29:47 +0000
Subject: [PATCH] edge_lw

---
 generate-board | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generate-board b/generate-board
index fcd1c7a..38d927a 100755
--- a/generate-board
+++ b/generate-board
@@ -368,8 +368,10 @@ sub fill_faces() {
   }
 }
 
+our $edge_lw = 5;
+
 sub some_edge_faces (@) {
-  o("5 setlinewidth 1 setlinejoin 0 setgray\n");
+  o("$edge_lw setlinewidth 1 setlinejoin 0 setgray\n");
   foreach my $rr (@_) {
     next if $rr->{Name} =~ m/^L2?$/;
     face_path($rr);
-- 
2.30.2