doc/conf.py: generate texinfo_documents list from man_pages list

[notmuch] / version

diff --git a/version b/version
index bdc34446c22cd97acf77dd3f4036f74c7c653681..fda96dcf630480faba9f7c348e0c757555613e3a 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.10~rc1
+0.23.2