From 885bddb65bd236d2e1e9e8c5a44cec688036213b Mon Sep 17 00:00:00 2001
From: pboutill
Date: Mon, 21 Nov 2011 16:58:23 +0000
Subject: /home/pirbo/.coqrc* are read again

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14714 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-com.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/refman')

diff --git a/doc/refman/RefMan-com.tex b/doc/refman/RefMan-com.tex
index 0f4bb342ab..81d94ecf0b 100644
--- a/doc/refman/RefMan-com.tex
+++ b/doc/refman/RefMan-com.tex
@@ -57,7 +57,7 @@ resource file \verb:$XDG_CONFIG_HOME/coq/coqrc.xxx: is loaded, where
 \verb:$XDG_CONFIG_HOME: is the configuration directory of the user (by
 default its home directory \verb!/.config! and \verb:xxx: is the version
 number (e.g. 8.3).  If this file is not found, then the file
-\verb:$XDG_CONFIG_HOME/.coqrc: is searched. You can also specify an
+\verb:$XDG_CONFIG_HOME/coqrc: is searched. You can also specify an
 arbitrary name for the resource file (see option \verb:-init-file:
 below), or the name of another user to load the resource file of someone
 else (see option \verb:-user:).
-- 
cgit v1.2.3