chiark / gitweb /
actually make pages be different pages
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 7 Mar 2019 01:13:55 +0000 (01:13 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 7 Mar 2019 01:13:55 +0000 (01:13 +0000)
generate-board

index dc29773a275d0abaf69bc099b22428cbc6baa1bd..8faca3dc16ef38066796ccb64bf129ecfb391dbe 100755 (executable)
@@ -439,6 +439,7 @@ sub preamble() {
 << /PageSize [ @$sz ] >> setpagedevice
 /board {
   gsave
+  $bb->[0] neg  $bb->[1] neg  translate
 $preamble_from_boundings
   34 -15 translate
 END