1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 1069ad414..417934206 100755
--- a/configure
+++ b/configure
@@ -1117,7 +1117,7 @@ $BUILDLDPATH
 #        do_Makefile will reside
 # LIBDIR=path where the Coq library will reside
 # MANDIR=path where to install manual pages
-# EMACSDIR=path where to put Coq's Emacs mode (coq.el)
+# EMACSDIR=path where to put Coq's Emacs mode (gallina.el)
 BINDIR="$BINDIR"
 COQLIBINSTALL="$LIBDIR"
 CONFIGDIR="$CONFIGDIR"