From e4db76094da55a2c57d781312d16978bff1b6e22 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mat=C4=9Bj=20Cepl?= Date: Thu, 12 Jun 2025 18:49:29 +0200 Subject: doc: change default_role to 'c:any' --- doc/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index 7788561..338934f 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -92,7 +92,7 @@ highlight_language = 'c' # If true, `todo` and `todoList` produce output, else they produce nothing. todo_include_todos = False -default_role = "c" +default_role = "c:any" # -- Options for HTML output ---------------------------------------------- -- cgit v1.2.3