From d38728377cdbdb676db624eae1a26315eb23f69b Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 19 Apr 2022 11:16:45 +0100
Subject: Add company-coq to doom config

---
 zsh/.zsh/export.zsh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'zsh')

diff --git a/zsh/.zsh/export.zsh b/zsh/.zsh/export.zsh
index ac0bb89..5bd3ed9 100644
--- a/zsh/.zsh/export.zsh
+++ b/zsh/.zsh/export.zsh
@@ -38,6 +38,7 @@ prepend_path "${HOME}/.yarn/bin"
 prepend_path "${HOME}/.cargo/bin"
 prepend_path "${HOME}/.cabal/bin"
 prepend_path "${HOME}/.local/bin"
+prepend_path "/opt/context/tex/texmf-osx-64/bin"
 # prepend_path "/usr/local/opt/llvm/bin"
 
 prepend_path "/mnt/data/tools/panda/bambu-9.7-dev/bin"
-- 
cgit