38 lines
1.4 KiB
Diff
38 lines
1.4 KiB
Diff
From 2e6447e073144b9b1352d5167f67ccd07460444a Mon Sep 17 00:00:00 2001
|
|
From: Jens Petersen <petersen@redhat.com>
|
|
Date: Thu, 20 Jul 2023 13:16:03 +0800
|
|
Subject: [PATCH] user_guide/flags.py: python-3.12 no longer includes distutils
|
|
|
|
packaging.version seems able to handle this fine
|
|
---
|
|
docs/users_guide/flags.py | 6 +++---
|
|
1 file changed, 3 insertions(+), 3 deletions(-)
|
|
|
|
diff --git a/docs/users_guide/flags.py b/docs/users_guide/flags.py
|
|
index f6927d59817..474d1b65d4b 100644
|
|
--- a/docs/users_guide/flags.py
|
|
+++ b/docs/users_guide/flags.py
|
|
@@ -50,7 +50,7 @@ import sphinx
|
|
from sphinx import addnodes
|
|
from sphinx.domains.std import GenericObject
|
|
from sphinx.errors import SphinxError
|
|
-from distutils.version import LooseVersion
|
|
+from packaging.version import parse
|
|
from utils import build_table_from_list
|
|
|
|
import os.path
|
|
@@ -628,8 +628,8 @@ def purge_flags(app, env, docname):
|
|
|
|
def setup(app):
|
|
# The override argument to add_directive_to_domain is only supported by >= 1.8
|
|
- sphinx_version = LooseVersion(sphinx.__version__)
|
|
- override_arg = {'override': True} if sphinx_version >= LooseVersion('1.8') else {}
|
|
+ sphinx_version = parse(sphinx.__version__)
|
|
+ override_arg = {'override': True} if sphinx_version >= parse('1.8') else {}
|
|
|
|
# Add ghc-flag directive, and override the class with our own
|
|
app.add_object_type('ghc-flag', 'ghc-flag')
|
|
--
|
|
GitLab
|
|
|