mount: Not deprecated any more.

This updates commit 5c2f1a2d9433eeb5aebeec26f0412c703bbe7269.

diff --git a/generator/generator_actions.ml b/generator/generator_actions.ml
index 4914687..f76a404 100644 (file)
--- a/generator/generator_actions.ml
+++ b/generator/generator_actions.ml
@@ -1572,7 +1572,7 @@ This returns the number of virtual CPUs assigned to the appliance.");
  *)
 
 let daemon_functions = [
-  ("mount", (RErr, [Device "device"; String "mountpoint"], []), 1, [DeprecatedBy "mount_options"],
+  ("mount", (RErr, [Device "device"; String "mountpoint"], []), 1, [],
    [InitEmpty, Always, TestOutput (
       [["part_disk"; "/dev/sda"; "mbr"];
        ["mkfs"; "ext2"; "/dev/sda1"];