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/ """