Rename version to version.txt

[notmuch] / doc / conf.py

diff --git a/doc/conf.py b/doc/conf.py
index 94e266af5878c8590802780f23e8e8c99a42b81e..11bed51d7596100ac2ca381792661e8378bbc5dd 100644 (file)
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -19,7 +19,7 @@ copyright = u'2009-2020, Carl Worth and many others'
 location = os.path.dirname(__file__)
 
 for pathdir in ['.', '..']:
-    version_file = os.path.join(location,pathdir,'version')
+    version_file = os.path.join(location,pathdir,'version.txt')
     if os.path.exists(version_file):
         with open(version_file,'r') as infile:
             version=infile.read().replace('\n','')