summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/tutorial/hello-world.org4
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"
}