From: Andrei Pavel <andrei@isc.org>
Date: Wed, 31 May 2023 12:12:51 +0000 (+0300)
Subject: [#2554] add the 'iscman' cross-reference role
X-Git-Tag: Kea-2.4.0~200
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7591ba5891eaf39c5003ea13bbc8c9f7a26ded9f;p=thirdparty%2Fkea.git

[#2554] add the 'iscman' cross-reference role
---

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index df5f7195b3..348c1b54e8 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('iscman', 'iscman')
     if hasattr(app, 'add_css_file'):
         app.add_css_file('kea.css')
     else: