From 7ddef45b3b2c42dd02bf86a1d426e3216f9ef882 Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 16 Jul 2003 08:45:34 +0000
Subject: [PATCH] * updated the help file to reflect the new syntax
 (reload/remove)

---
 helm/uwobo/uwobo_common.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index 84ba19967..b4a910f9d 100644
--- a/helm/uwobo/uwobo_common.ml
+++ b/helm/uwobo/uwobo_common.ml
@@ -86,12 +86,12 @@ let usage_string =
           <em>key</em>
     </p>
     <p>
-      <b><kbd>remove[?keys=key1,key2,...]</kbd></b><br />
+      <b><kbd>remove?keys=[key1,key2,...]</kbd></b><br />
       unload stylesheets specified by <em>key1, key2, ...</em> or all
           stylesheets if no key was given
     </p>
     <p>
-      <b><kbd>reload[?keys=key1,key2,...]</kbd></b><br />
+      <b><kbd>reload?keys=[key1,key2,...]</kbd></b><br />
       reload stylesheets specified by <em>key1, key2, ...</em> or all
           stylesheets if no key was given
     </p>
-- 
2.39.2