diff options
| -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 d55a8361c..1a333c671 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -337,4 +337,4 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False -highlight_language = 'c' +highlight_language = 'sh' |