From 362837e98c9bb5e39b6efed1872d4ecb4145f7be Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Wed, 6 Apr 2016 20:39:24 +0200
Subject: [PATCH] update_3rdparty: Add fancy-dmg Makefile

---
 scripts/dev/update_3rdparty.py | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/scripts/dev/update_3rdparty.py b/scripts/dev/update_3rdparty.py
index f53135a99..eeadd14a4 100755
--- a/scripts/dev/update_3rdparty.py
+++ b/scripts/dev/update_3rdparty.py
@@ -81,6 +81,18 @@ def update_pdfjs(target_version=None):
     urllib.request.urlcleanup()
 
 
+def update_dmg_makefile():
+    """Update fancy-dmg Makefile
+
+    See https://el-tramo.be/blog/fancy-dmg/
+    """
+    print("Updating fancy-dmg Makefile...")
+    url = 'https://raw.githubusercontent.com/remko/fancy-dmg/master/Makefile'
+    target_path = os.path.join('scripts', 'dev', 'Makefile-dmg')
+    urllib.request.urlretrieve(url, target_path)
+    urllib.request.urlcleanup()
+
+
 def main():
     parser = argparse.ArgumentParser()
     parser.add_argument(
@@ -88,9 +100,14 @@ def main():
         help='Specify pdfjs version. If not given, '
         'the latest version is used.',
         required=False, metavar='VERSION')
+    parser.add_argument('--fancy-dmg', help="Update fancy-dmg Makefile",
+                        action='store_true')
     args = parser.parse_args()
 
     update_pdfjs(args.pdfjs)
+    if args.fancy_dmg:
+        update_dmg_makefile()
+
 
 if __name__ == '__main__':
     main()