From 2280477a96e19ba5060de2d48dcc8fd7c8079d22 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Fri, 13 Nov 2015 11:31:34 +0100
Subject: Imported Upstream version 8.5~beta3+dfsg

---
 man/coqide.1 | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

(limited to 'man/coqide.1')

diff --git a/man/coqide.1 b/man/coqide.1
index 3fa7f0e4..6a3e67ad 100644
--- a/man/coqide.1
+++ b/man/coqide.1
@@ -63,15 +63,17 @@ Load Coq file
 (Load Verbose
 .IR f .).
 .TP
-.BI \-load\-vernac\-object\  f
-Load Coq object file
-.IR f .vo.
-.TP
-.BI \-require\  f
-Load Coq object file
-.IR f .vo
-and import it (Require
-.IR f .).
+.BI \-load\-vernac\-object\  path
+Load Coq library
+.IR path
+(Require
+.IR path .).
+.TP
+.BI \-require\  path
+Load Coq library
+.IR path
+and import it (Require Import
+.IR path .).
 .TP
 .BI \-compile\  f
 Compile Coq file
-- 
cgit v1.2.3