diff options
| author | Marc André Tanner <mat@brain-dump.org> | 2020-07-29 11:17:51 +0200 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2020-08-01 14:59:40 +0200 |
| commit | c0340ef5f4fd6b3ea8b0cb28a26ee968af98f290 (patch) | |
| tree | cfc85ff8c864d7f586d7cdd7e2c085a19de68344 | |
| parent | 827e1179641aa7ff49a09b8f908e34fb748c6b7b (diff) | |
| download | vis-c0340ef5f4fd6b3ea8b0cb28a26ee968af98f290.tar.gz vis-c0340ef5f4fd6b3ea8b0cb28a26ee968af98f290.tar.xz | |
doc: use c as default sphinx role
This might fix the documentation build issue on readthedocs.org.
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index f9853f5..c35ac6d 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 = "any" +default_role = "c" # -- Options for HTML output ---------------------------------------------- |