From 75cb162ad44c192f0c7133408488d256a3f49257 Mon Sep 17 00:00:00 2001
From: Lauri Gustafsson <me@gustafla.space>
Date: Sat, 2 Apr 2022 03:17:49 +0300
Subject: [PATCH] Add texlab language server for latex

---
 book/src/generated/lang-support.md | 2 +-
 languages.toml                     | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md
index 34e65e46c643..9c7dedb521af 100644
--- a/book/src/generated/lang-support.md
+++ b/book/src/generated/lang-support.md
@@ -30,7 +30,7 @@
 | json | ✓ |  | ✓ |  |
 | julia | ✓ |  |  | `julia` |
 | kotlin | ✓ |  |  | `kotlin-language-server` |
-| latex | ✓ |  |  |  |
+| latex | ✓ |  |  | `texlab` |
 | lean | ✓ |  |  | `lean` |
 | ledger | ✓ |  |  |  |
 | llvm | ✓ | ✓ | ✓ |  |
diff --git a/languages.toml b/languages.toml
index ff8e7dfbf92f..bd3fdfc6b78b 100644
--- a/languages.toml
+++ b/languages.toml
@@ -436,6 +436,7 @@ injection-regex = "tex"
 file-types = ["tex"]
 roots = []
 comment-token = "%"
+language-server = { command = "texlab" }
 indent = { tab-width = 4, unit = "\t" }
 
 [[grammar]]