From d660006e1eafc8d3cda75814a9a75f5d3fbd5f68 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 2 Mar 2019 23:38:23 +0000
Subject: [PATCH] actual card size

---
 generate-board | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generate-board b/generate-board
index 83868c2..489ea7d 100755
--- a/generate-board
+++ b/generate-board
@@ -510,7 +510,7 @@ sub water_cubes($){
 sub decks(){
   o("  /deckpath {\n");
   my $w = 63 * MM2PT;
-  my $h = 87 * MM2PT;
+  my $h = 89 * MM2PT;
   my $r =  5 * MM2PT;
   o("    newpath  ",($w/2)," 0 moveto\n");
   my @p = ([ $w, 0 ],
-- 
2.30.2