Bump the version to 0.7.13.

doc/mboxgrep.info

@@ -9,7 +9,7 @@ END-INFO-DIR-ENTRY
 
 File: mboxgrep.info,  Node: Top,  Up: (dir)
 
-This file documents 'mboxgrep' (version 0.7.12a), a mailbox scanning
+This file documents 'mboxgrep' (version 0.7.13), a mailbox scanning
 utility.
 
    Copyright (C) 2000 - 2003, 2024 Daniel Spiljar
@@ -250,17 +250,17 @@ Sleep well, little friend.
 
 Tag Table:
 Node: Top197
-Node: Introduction592
-Node: Invoking1461
-Node: Miscellaneous1823
-Node: File locking2108
-Node: Regexp selection2745
-Node: Output control3297
-Node: Search scope selection4337
-Node: Mailbox type selection4578
-Node: Examples4899
-Node: Bugs5723
-Node: To Vicky6141
+Node: Introduction591
+Node: Invoking1460
+Node: Miscellaneous1822
+Node: File locking2107
+Node: Regexp selection2744
+Node: Output control3296
+Node: Search scope selection4336
+Node: Mailbox type selection4577
+Node: Examples4898
+Node: Bugs5722
+Node: To Vicky6140
 
 End Tag Table