From: Andrei Pavel <andrei@isc.org>
Date: Tue, 6 Jun 2023 09:02:05 +0000 (+0300)
Subject: [#2554] add the 'isccmd' cross-reference role
X-Git-Tag: Kea-2.4.0~199
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=03843acd026999aee6e608026f83923b276388ff;p=thirdparty%2Fkea.git

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

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')