From 1479189bfe0e5240a03565d242af8f96942fa92b Mon Sep 17 00:00:00 2001 From: Avery Pennarun Date: Tue, 12 Feb 2019 16:32:30 -0500 Subject: [PATCH] mkdocs: include additional hljs languages. We upgraded mkdocs earlier to support some useful features (like the mkdocs-exclude plugin), but that one changes the highlight.js configuration to include fewer languages by default. Specify the additional ones we want to include. Reported-by: @DRMacIver on twitter --- mkdocs.yml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index 30152c1..18210bd 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -1,5 +1,11 @@ site_name: "redo: a recursive build system" -theme: readthedocs +theme: + name: readthedocs + hljs_languages: + - python + - r + - shell + - tex docs_dir: docs site_dir: docs.out strict: true