Add "notmuch search" to the advertised queries.

This will allow a user to actually copy-and-paste the queries, for example.

diff --git a/notmuch-to-html b/notmuch-to-html
index 6b42affa8cb9d5ab9f8c1aa680da346808bdd1fd..663dd8733e0129163ff745b9aef1ac42d57f12cf 100755 (executable)
--- a/notmuch-to-html
+++ b/notmuch-to-html
@@ -188,11 +188,11 @@ class HtmlPage (Page):
             stream.write(view['comment'])
             stream.write('\n')
         for line in [
-                'The view is generated from the following query:',
+                '<p>This view is generated from the following query:',
                 '</p>',
                 '<p>',
                 '  <code>',
-                view['query-string'],
+                'notmuch search ' + view['query-string'],
                 '  </code>',
                 '</p>',
                 ]: