diff options
Diffstat (limited to 'doc/sessions/developing.run')
| -rw-r--r-- | doc/sessions/developing.run | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/sessions/developing.run b/doc/sessions/developing.run index eca2af90b..1ae4eb5ad 100644 --- a/doc/sessions/developing.run +++ b/doc/sessions/developing.run @@ -24,6 +24,11 @@ commands: output: ../source/sessions/developing-build-after-changes.html command: build hello.bst +# Rebuild, from the workspace +- directory: ../examples/developing/workspace_hello + output: ../source/sessions/developing-build-after-changes-workspace.html + command: build + # Capture shell output with changes - directory: ../examples/developing/ output: ../source/sessions/developing-shell-after-changes.html |