From cf5c43cc965ac9c2143005f7c08433f246254298 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sun, 19 Nov 2017 16:41:35 +0100
Subject: Rename coq-inferior.el -> inferior-coq.el to match provided feature.

Fixes #4988.
---
 doc/refman/RefMan-uti.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/refman/RefMan-uti.tex b/doc/refman/RefMan-uti.tex
index 8f846f2f59..c411db1001 100644
--- a/doc/refman/RefMan-uti.tex
+++ b/doc/refman/RefMan-uti.tex
@@ -467,7 +467,7 @@ the \Coq\ language, and also a rudimentary indentation facility:
 \end{itemize}
 
 An inferior mode to run \Coq\ under Emacs, by Marco Maggesi, is also
-included in the distribution, in file \texttt{coq-inferior.el}.
+included in the distribution, in file \texttt{inferior-coq.el}.
 Instructions to use it are contained in this file.
 
 \subsection[{\ProofGeneral}]{{\ProofGeneral}\index{Proof General@{\ProofGeneral}}}
-- 
cgit v1.2.3