diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-12-15 10:22:46 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-12-15 10:22:46 +0000 |
| commit | 2ccb521cf21c1db3d3c49cc547cb446f54f49dd6 (patch) | |
| tree | fd9c93be1de3887d342f1651dcf3f0117f4bb1b8 /doc/RefMan-com.tex | |
| parent | 4e283e52a29ba769b4b18fd26145924a40b21ec6 (diff) | |
config avec autoconf
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8146 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/RefMan-com.tex')
| -rwxr-xr-x | doc/RefMan-com.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/RefMan-com.tex b/doc/RefMan-com.tex index 88cf650a1..47a6e8a5e 100755 --- a/doc/RefMan-com.tex +++ b/doc/RefMan-com.tex @@ -67,7 +67,7 @@ an efficient version of the system. \index{Resource file} When \Coq\ is launched, with either {\tt coqtop} or {\tt coqc}, the -resource file \verb:$HOME/.coqrc.6.2.4: is loaded, where \verb:$HOME: is +resource file \verb:$HOME/.coqrc.7.0: is loaded, where \verb:$HOME: is the home directory of the user. If this file is not found, then the file \verb:$HOME/.coqrc: is searched. You can also specify an arbitrary name for the resource file (see option \verb:-init-file: @@ -168,14 +168,14 @@ coqtop}). {\em state.coq}. \item[{\tt -init-file} {\em file}]\ \\ - Take {\em file} as resource file, instead of {\tt \$HOME/.coqrc.6.2.4}. + Take {\em file} as resource file, instead of {\tt \$HOME/.coqrc.7.0}. \item[{\tt -q}]\ \\ Cause \Coq~not to load the resource file. \item[{\tt -user} {\em username}]\ \\ Take resource file of user {\em username} (that is - \verb+~+{\em username}{\tt /.coqrc.6.2.4}) instead of yours. + \verb+~+{\em username}{\tt /.coqrc.7.0}) instead of yours. \item[{\tt -load-ml-source} {\em file}]\ \\ Load the Caml source file {\em file}. |