aboutsummaryrefslogtreecommitdiff
path: root/bp.1.md
diff options
context:
space:
mode:
Diffstat (limited to 'bp.1.md')
-rw-r--r--bp.1.md5
1 files changed, 5 insertions, 0 deletions
diff --git a/bp.1.md b/bp.1.md
index 0170aaa..6995372 100644
--- a/bp.1.md
+++ b/bp.1.md
@@ -280,6 +280,11 @@ contain the word **"IGNORE"**)
*name*`:` *pat*
: Define *name* to mean *pat* (pattern definition)
+*name*`::` *pat*
+: Define *name* to be a special tagged pattern *pat*. This is the same as a
+regular definition, except that a piece of metadata is attached to it
+associating it with the specified name.
+
`#` *comment*
: A line comment