blob: adcb6da0567a1cdc4cdb07fabaf732f792a6a732 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
From eab7a24b8e74f37d37522263655363e5647497b4 Mon Sep 17 00:00:00 2001
From: Xiretza <xiretza@xiretza.xyz>
Date: Sun, 24 May 2020 11:22:31 +0200
Subject: [PATCH 2/5] Ignore absence of version number in user_guide
This was missed in 5b1ce178efb54d8c451c08c8443bbafdea4cacda, "Ignore
absence of VERSION.txt file."
---
gnatdoc/docs/users_guide/conf.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gnatdoc/docs/users_guide/conf.py b/gnatdoc/docs/users_guide/conf.py
index e8f76eaa6c..4076ff8f21 100644
--- a/gnatdoc/docs/users_guide/conf.py
+++ b/gnatdoc/docs/users_guide/conf.py
@@ -53,7 +53,8 @@ def get_version():
version_file = "../../../VERSION.txt"
if os.path.isfile(version_file):
return file(version_file).readline()
- raise Exception("Cannot find version number")
+ else:
+ return "0.0"
# The version info for the project you're documenting, acts as replacement for
# |version| and |release|, also used in various other places throughout the
--
2.26.2
|