From b6abada50aa185c4eb9bb4d202fe923a964c93a9 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Fri, 13 May 2016 06:42:09 +0200
Subject: [PATCH] Fix lint

---
 scripts/dev/update_3rdparty.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/dev/update_3rdparty.py b/scripts/dev/update_3rdparty.py
index 65c5914a4..cc255d551 100755
--- a/scripts/dev/update_3rdparty.py
+++ b/scripts/dev/update_3rdparty.py
@@ -85,7 +85,7 @@ def update_pdfjs(target_version=None):
 
 
 def update_dmg_makefile():
-    """Update fancy-dmg Makefile
+    """Update fancy-dmg Makefile.
 
     See https://el-tramo.be/blog/fancy-dmg/
     """