michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-project): use better prompt message for lean-project-create

Browse source
This commit is contained in:
Soonho Kong 2014-10-08 13:04:31 -07:00
parent d542771ba1
commit b6d475c3ac
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/emacs/lean-project.el
View file

@ -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)