From: Stefano Zacchiroli Date: Thu, 9 Jan 2003 07:57:26 +0000 (+0000) Subject: - shows also version in usage string X-Git-Tag: v0_3_99~59 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=b1fb6b8e1767d775bc452303629e95941d142bea - shows also version in usage string --- diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml index 1d0a4f581..44dfaab1b 100644 --- a/helm/http_getter/http_getter_const.ml +++ b/helm/http_getter/http_getter_const.ml @@ -26,17 +26,21 @@ * http://helm.cs.unibo.it/ *) +open Printf;; + let version = "0.2.0" let conffile = "http_getter.conf.xml" (* TODO provide a better usage string *) let usage_string = + sprintf " HTTP Getter's help message +

HTTP Getter, version %s

Usage: http://hostname:getterport/command

@@ -80,6 +84,7 @@ let usage_string = " + version let empty_xml = "