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

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