diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sessions/junctions.run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sessions/junctions.run b/doc/sessions/junctions.run index 74c3a4f57..fc9014203 100644 --- a/doc/sessions/junctions.run +++ b/doc/sessions/junctions.run @@ -17,4 +17,4 @@ commands: # Remove the workspace - directory: ../examples/junctions - command: workspace close --remove-dirs hello-junction.bst:hello.bst + command: workspace close --remove-dir hello-junction.bst:hello.bst |