From 568dffcc32cfdec78e7824fa6875d892fb9cfd5a Mon Sep 17 00:00:00 2001 From: Gaëtan Gilbert Date: Sat, 6 Jan 2018 12:26:49 +0100 Subject: Remove dir-locals and ship suggested helper hooks instead. .dir-locals led to issues with unsafe local variable warnings. With this method the user is opting in to running this code so there are no warnings. --- theories/.dir-locals.el | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 theories/.dir-locals.el (limited to 'theories') diff --git a/theories/.dir-locals.el b/theories/.dir-locals.el deleted file mode 100644 index 4e8830f6c..000000000 --- a/theories/.dir-locals.el +++ /dev/null @@ -1,4 +0,0 @@ -((coq-mode . ((eval . (let ((default-directory (locate-dominating-file - buffer-file-name ".dir-locals.el"))) - (setq-local coq-prog-args `("-coqlib" ,(expand-file-name "..") "-R" ,(expand-file-name ".") "Coq")) - (setq-local coq-prog-name (expand-file-name "../bin/coqtop"))))))) -- cgit v1.2.3