Blob Blame History Raw
--- ghc-9.0.2/docs/users_guide/flags.py~	2023-07-27 11:29:29.164886520 +0800
+++ ghc-9.0.2/docs/users_guide/flags.py	2023-07-27 11:31:05.475659936 +0800
@@ -52,7 +52,7 @@
 from sphinx.domains import ObjType
 from sphinx.roles import XRefRole
 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
@@ -629,8 +629,8 @@
 
 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 {}
 
     # Yuck: We can't use app.add_object_type since we need to provide the
     # Directive instance ourselves.