diff options
Diffstat (limited to 'doc/source/developing/workspaces.rst')
| -rw-r--r-- | doc/source/developing/workspaces.rst | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/source/developing/workspaces.rst b/doc/source/developing/workspaces.rst index b5ed64b2c..653716f72 100644 --- a/doc/source/developing/workspaces.rst +++ b/doc/source/developing/workspaces.rst @@ -50,11 +50,16 @@ We can open workspace_hello/hello.c and make the following change: .. literalinclude:: ../../examples/developing/update.patch :language: diff -Now, rebuild the hello.bst element +Now, rebuild the hello.bst element. .. raw:: html :file: ../sessions/developing-build-after-changes.html +Note that if you run the command from inside the workspace, the element name is optional. + +.. raw:: html + :file: ../sessions/developing-build-after-changes-workspace.html + Now running the hello command using bst shell: .. raw:: html |