generator: second parameter to upload is Dev_or_Path, not String.

diff --git a/src/generator.ml b/src/generator.ml
index 89c1925..1c533fa 100755 (executable)
--- a/src/generator.ml
+++ b/src/generator.ml
@@ -1861,7 +1861,7 @@ Reread the partition table on C<device>.
 
 This uses the L<blockdev(8)> command.");
 
-  ("upload", (RErr, [FileIn "filename"; String "remotefilename"]), 66, [],
+  ("upload", (RErr, [FileIn "filename"; Dev_or_Path "remotefilename"]), 66, [],
    [InitBasicFS, Always, TestOutput (
       (* Pick a file from cwd which isn't likely to change. *)
       [["upload"; "../COPYING.LIB"; "/COPYING.LIB"];