From 0027fc7a4ef04266fdae21366dd1490f6dc287b2 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 20 Nov 2018 15:42:48 +0100
Subject: [PATCH] Add a usage

---
 Scripts/developer_scripts/git-show-content | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/git-show-content b/Scripts/developer_scripts/git-show-content
index 72051e849c2..deb2c942270 100755
--- a/Scripts/developer_scripts/git-show-content
+++ b/Scripts/developer_scripts/git-show-content
@@ -3,7 +3,21 @@
 zmodload zsh/stat
 set -e
 
-git=git
+if [ "x$1" = "x--help" -o "x$1" = "x-h" ]; then
+    cat <<EOF
+Usage: $0
+ [HEAD] [BASE]
+
+List the commits in the range BASE..HEAD, with --first-parent
+and show for each the weight of the commit.
+
+[HEAD] is the head of the branch you want to display.
+Its default value is 'HEAD'.
+
+[BASE] is the base of the range. Its default value is 'cgal/master'.
+EOF
+    exit 0
+fi
 
 commit=${1:-HEAD}
 base=${2:-cgal/master}