From b6d475c3acf9e3608cfc58d7e4864d9cc3927550 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 8 Oct 2014 13:04:31 -0700 Subject: [PATCH] fix(emacs/lean-project): use better prompt message for lean-project-create --- src/emacs/lean-project.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/emacs/lean-project.el b/src/emacs/lean-project.el index c0b82d763..925c09606 100644 --- a/src/emacs/lean-project.el +++ b/src/emacs/lean-project.el @@ -18,7 +18,7 @@ (defun lean-project-create (directory) (interactive - (list (read-directory-name "Project root: "))) + (list (read-directory-name "Specify the project root directory: "))) (let ((project-file (concat (file-name-as-directory directory) lean-project-file-name))) (if (file-exists-p project-file)