From ee77895806edc34b7937b5caba24f2eec7426d88 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Sat, 4 Apr 2020 13:29:30 -0700 Subject: Try to get tags working reliably --- .dir-locals.el | 5 ++++- .gitignore | 1 + 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/.dir-locals.el b/.dir-locals.el index 9d3d751..c6019a9 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -5,4 +5,7 @@ (eval . (put 'for 'scheme-indent-function 1)) (eval . (put 'if-not 'scheme-indent-function 2)))) (geiser-mode - . ( (geiser-guile-load-path . ".")))) + . ( (geiser-guile-load-path . "."))) + (haskell-mode + . ( ;; (tags-file-name . "TAGS") + (projectile-tags-command . "cd $BIZ_ROOT && hasktags -R -x .")))) diff --git a/.gitignore b/.gitignore index e2a9c20..3a189fa 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ result* _bild TAGS +tags .tex .pdf _keep -- cgit v1.2.3