diff --git a/docs/index.html b/docs/index.html index 481630a06..dc5fdaedc 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1134,7 +1134,7 @@ systems.

dir the directory in which the command should be executed. - Yes + No os @@ -1146,7 +1146,7 @@ systems.

output the file to which the output of the command should be redirected. - Yes + No failonerror