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

diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 6fb5a1b9afbc345821b8db82597e743c96917cb2..5095cf58ba9073e7f84b6f5890784e6b0325d210 100644 (file)
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -284,6 +284,7 @@ def run_generate_docs(_):
 # custom setup hook
 def setup(app):
     app.add_crossref_type('isccmd', 'isccmd')
+    app.add_crossref_type('ischooklib', 'ischooklib')
     app.add_crossref_type('iscman', 'iscman')
     if hasattr(app, 'add_css_file'):
         app.add_css_file('kea.css')