diff options
Diffstat (limited to 'doc/tutorial/hello-world.org')
| -rw-r--r-- | doc/tutorial/hello-world.org | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/tutorial/hello-world.org b/doc/tutorial/hello-world.org index d381584a..97be0513 100644 --- a/doc/tutorial/hello-world.org +++ b/doc/tutorial/hello-world.org @@ -125,6 +125,10 @@ $ cat $CONF ] }, "tutorial": { + "workspace_root": [ + "file", + "/tmp/tutorial" + ] "bindings": { "rules": "just-rules" } |