From c98c6b844d5a3aaae142a084925dbf2e135530fe Mon Sep 17 00:00:00 2001 From: Francesco Salvestrini Date: Thu, 30 Oct 2008 00:45:47 +0100 Subject: [PATCH] Fixed fetch script --- tools/maint/fetch.in | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/tools/maint/fetch.in b/tools/maint/fetch.in index e75be8e..fa15667 100644 --- a/tools/maint/fetch.in +++ b/tools/maint/fetch.in @@ -31,6 +31,11 @@ case $1 in echo "" echo "Fetch file from URL, placing output in FILE" echo "" + echo "OPTIONS:" + echo "" + echo " -h, --help display this help and exit" + echo " -v, --version output version information and exit" + echo "" echo "Report bugs to <@PACKAGE_BUGREPORT@>" exit 0 ;; -- 2.11.4.GIT