diff --git a/Scripts/pull-repos.ps1 b/Scripts/pull-repos.ps1
index c3bb97fa..c4fc5605 100755
--- a/Scripts/pull-repos.ps1
+++ b/Scripts/pull-repos.ps1
@@ -1,4 +1,5 @@
-
+<#
+.SYNOPSIS
 	pull-repos.ps1 [<parent-dir>]
 .DESCRIPTION
 	Pulls updates for all Git repositories under the current/given directory (including submodules)