From 3b8505bebeebd79c9cd3a3aa39a7404725db985a Mon Sep 17 00:00:00 2001
From: David Adam <zanchey@ucc.gu.uwa.edu.au>
Date: Thu, 19 Sep 2019 14:51:40 +0800
Subject: [PATCH] sphinx: get version number from built binary

---
 sphinx_doc_src/conf.py | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/sphinx_doc_src/conf.py b/sphinx_doc_src/conf.py
index f09c32c48..0313a7555 100644
--- a/sphinx_doc_src/conf.py
+++ b/sphinx_doc_src/conf.py
@@ -9,6 +9,7 @@
 import glob
 import os.path
 import pygments
+import subprocess
 from sphinx.errors import SphinxError, SphinxWarning
 
 # -- Helper functions --------------------------------------------------------
@@ -50,10 +51,14 @@ project = "fish-shell"
 copyright = "2019, fish-shell developers"
 author = "fish-shell developers"
 
-# The short X.Y version
-version = "3.1"
+# Parsing FISH-BUILD-VERSION-FILE is possible but hard to ensure that it is in the right place
+# fish_indent is guaranteed to be on PATH for the Pygments highlighter anyway
+ret = subprocess.run(('fish_indent', '--version',),
+                      stdout=subprocess.PIPE, stderr=subprocess.PIPE).stderr.decode('utf-8')
 # The full version, including alpha/beta/rc tags
-release = "3.1.0"
+release = ret.strip().split(' ')[-1]
+# The short X.Y version
+version = release.rsplit('.', 1)[0]
 
 
 # -- General configuration ---------------------------------------------------