userguide: add missing $ (Thanks artoj)

diff --git a/docs/userguide b/docs/userguide
index c706c6315632c2dc3ea13d7421e93c629d3969c2..2d6e50f11a152b9efa31b7138bd927bc02cb552d 100644 (file)
--- a/docs/userguide
+++ b/docs/userguide
@@ -347,7 +347,7 @@ variables can be handy.
 
 *Syntax*:
 --------------
-set name value
+set $name value
 --------------
 
 *Examples*: