schemata: update for --body=true|false option

Previously body: was a compulsory field in a message. The new
--body=false option causes notmuch show to omit this field so update
schemata to reflect this.

diff --git a/devel/schemata b/devel/schemata
index 6677a1c9a38705c728ca62d682539c6bf8225bdb..9cb25f593061094c58a91b39096cf1f79c5cbd80 100644 (file)
--- a/devel/schemata
+++ b/devel/schemata
@@ -47,7 +47,7 @@ message = {
     tags:           [string*],
 
     headers:        headers,
-    body:           [part]
+    body?:          [part]    # omitted if --body=false
 }
 
 # A MIME part (format_part_json)