diff options
Diffstat (limited to 'doc/sessions/junctions.run')
| -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 28ada6cf9..74c3a4f57 100644 --- a/doc/sessions/junctions.run +++ b/doc/sessions/junctions.run @@ -13,7 +13,7 @@ commands: # Open a crossJunction workspace: - directory: ../examples/junctions output: ../source/sessions/junctions-workspace-open.html - command: workspace open hello-junction.bst:hello.bst workspace_hello + command: workspace open --directory workspace_hello hello-junction.bst:hello.bst # Remove the workspace - directory: ../examples/junctions |