build: generate man page list from source files, not conf.py

[notmuch] / version

diff --git a/version b/version
index 4312e0d0cae3a96e9f4a9be98e59e8468f39e1a8..fda96dcf630480faba9f7c348e0c757555613e3a 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.15.2
+0.23.2