no need to remove the registry dir, now we have only one of it

diff --git a/ocaml-md5sums.ml.in b/ocaml-md5sums.ml.in
index 806a50a3ce115a917beaaaf0de9736a35f0158ad..83a2796b20aeb276433d8e227b2b17e7a5ad33bf 100644 (file)
--- a/ocaml-md5sums.ml.in
+++ b/ocaml-md5sums.ml.in
@@ -271,10 +271,7 @@ let update () =
   with End_of_file ->
     Unix.closedir dir;
     close_out registry;
-    if is_empty registry_file then begin
-      Sys.remove registry_file;
-      ignore (Sys.command ("/bin/rmdir -p " ^ md5sums_dir))
-    end
+    if is_empty registry_file Sys.remove registry_file
 
 (** {2 Main} *)