From 8c5a32c304fb5ec46d0a017f7bab3d5e54123cad Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Thu, 10 Nov 2016 00:47:55 +0000
Subject: [PATCH] Update tune format files.

In the main one, just remove a couple of now deprecated settings that
did nothing anyway.

For the web format, which is actually the format used to generate
the downloadable PDFs, bring it into line with the main format
but leave the margins at the default settings. Also remove the
deprecated settings.
---
 singletune.fmt    |  3 ---
 singletuneweb.fmt | 12 +++---------
 2 files changed, 3 insertions(+), 12 deletions(-)

diff --git a/singletune.fmt b/singletune.fmt
index 62eb0c5..d2f9f41 100644
--- a/singletune.fmt
+++ b/singletune.fmt
@@ -18,6 +18,3 @@ infoname D
 infoname Z
 infoname H
 infoname N
-infoline false
-writehistory true
-continueall false
diff --git a/singletuneweb.fmt b/singletuneweb.fmt
index 2033fe5..a4cec91 100644
--- a/singletuneweb.fmt
+++ b/singletuneweb.fmt
@@ -1,11 +1,8 @@
-% Format for a web graphic with a single tune with tune title
-botmargin 0
-leftmargin 0
-rightmarin 0
-topmargin 0
+% Format for a downloadable PDF with a single tune with tune title
+partsbox true
+measurenb false
 scale 0.9
 titleformat T0 C1
-topspace 0
 % I don't want any info fields in the graphics. To turn off the
 % fields, give a blank infoname for that letter.
 infoname S
@@ -15,6 +12,3 @@ infoname D
 infoname Z
 infoname H
 infoname N
-infoline true
-writehistory true
-continueall false