diff --git a/src/emacs/lean-tags.el b/src/emacs/lean-tags.el
index b1b1d9a19..3b012018f 100644
--- a/src/emacs/lean-tags.el
+++ b/src/emacs/lean-tags.el
@@ -11,7 +11,9 @@
   (interactive)
   (let ((ltags-file-name (lean-get-executable "linja"))
         tags-file-name)
-    (call-process ltags-file-name nil 0 nil "TAGS"))
+    (message "Generating TAGS...")
+    (call-process ltags-file-name nil nil nil "TAGS")
+    (message "TAGS generated."))
   (unless tags-table-list
     (setq tags-file-name (lean-find-file-upward "TAGS"))
     (when tags-file-name