Skip to content

Commit 3bc09bb

Browse files
committed
Manual install of pygments with Soar syntax highlighting
Since the pygments PR is not reviewed yet this already enables the Soar syntax highlighting and might allow us to catch existing bugs. This also enables the use of mkdocs material code annotations. Related: SoarGroup#24
1 parent 4c25877 commit 3bc09bb

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

mkdocs.yml

+3
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ theme:
1313
custom_dir: overrides
1414
features:
1515
- content.code.copy
16+
- content.code.annotate
1617
- content.action.view
1718
- content.action.edit
1819
- content.tooltips
@@ -54,6 +55,8 @@ markdown_extensions:
5455
anchor_linenums: true
5556
line_spans: __span
5657
pygments_lang_class: true
58+
use_pygments: true
59+
linenums: true
5760
- pymdownx.inlinehilite
5861
- abbr
5962
- attr_list

requirements.txt

+1
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,4 @@ mkdocs-material==9.*
22
mkdocs-material-extensions==1.*
33
python-markdown-math==0.8
44
mkdocs-macros-plugin==1.*
5+
pygments @ git+https://github.com/moschmdt/pygments@feature/soar

0 commit comments

Comments
 (0)