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

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index df5f7195b34975991cfbd28aa01a1395bb71cd96..348c1b54e8d30b19d4cc9dfd92c31ee95cfad835 100644 (file)
--- 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: