From 9aeb824419bbf7344008acebb62dcf5f233a5dab Mon Sep 17 00:00:00 2001
From: Benedikt Reinartz <filmor@gmail.com>
Date: Mon, 23 Oct 2023 14:53:08 +0200
Subject: [PATCH] Make edoc an optional dependency (#1277)

Some distributions may not include it, and as it's not installed via hex,
startup will fail.
---
 apps/els_lsp/src/els_lsp.app.src | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/apps/els_lsp/src/els_lsp.app.src b/apps/els_lsp/src/els_lsp.app.src
index e64287d73..4e6014d92 100644
--- a/apps/els_lsp/src/els_lsp.app.src
+++ b/apps/els_lsp/src/els_lsp.app.src
@@ -18,6 +18,9 @@
         els_core,
         gradualizer
     ]},
+    {optional_applications, [
+        edoc
+    ]},
     {env, []},
     {modules, []},
     {maintainers, []},