From ac1226fa9528340a2d928beb39290a4ca1cb9aea Mon Sep 17 00:00:00 2001
From: Bob Mottram <bob@robotics.uk.to>
Date: Sat, 26 Apr 2014 19:18:58 +0100
Subject: [PATCH] Remove preexisting manpage

---
 makeJargon.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/makeJargon.py b/makeJargon.py
index aaa9e6e..515bc90 100755
--- a/makeJargon.py
+++ b/makeJargon.py
@@ -39,6 +39,9 @@ def jargonToManpage(manpageFilename, entries, version):
     if not os.path.isdir("man"):
         os.system("mkdir man")
 
+    if os.path.isfile(manpageFilename + ".gz"):
+        os.system("rm " + manpageFilename + ".gz")
+
     fp = open(manpageFilename,'w')
 
     fp.write(".TH \"The Jargon File\" 1 \"April 26, 2014\" \"\" \"" + version + "\"\n\n")
@@ -52,7 +55,6 @@ def jargonToManpage(manpageFilename, entries, version):
     fp.close()
 
     os.system("gzip " + manpageFilename)
-    print ""
     print "manpage can be installed with the command:"
     print "sudo install -m 644 " + manpageFilename + ".gz /usr/local/share/man/man1"