From 03843acd026999aee6e608026f83923b276388ff Mon Sep 17 00:00:00 2001 From: Andrei Pavel Date: Tue, 6 Jun 2023 12:02:05 +0300 Subject: [PATCH] [#2554] add the 'isccmd' cross-reference role --- doc/sphinx/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index 348c1b54e8..6fb5a1b9af 100644 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -283,6 +283,7 @@ def run_generate_docs(_): # custom setup hook def setup(app): + app.add_crossref_type('isccmd', 'isccmd') app.add_crossref_type('iscman', 'iscman') if hasattr(app, 'add_css_file'): app.add_css_file('kea.css') -- 2.47.3