From 0c1382bd0a9c41b559a912695e2154b758de7b18 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 2 Apr 2020 15:51:09 +0200
Subject: Minimal fix to man pages.

---
 man/coqide.1 | 2 +-
 man/coqtop.1 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/man/coqide.1 b/man/coqide.1
index 62a102af03..c1af046019 100644
--- a/man/coqide.1
+++ b/man/coqide.1
@@ -69,7 +69,7 @@ Load Coq library
 (Require
 .IR path .).
 .TP
-.BI \-require\  path
+.BI \-require-import\  path
 Load Coq library
 .IR path
 and import it (Require Import
diff --git a/man/coqtop.1 b/man/coqtop.1
index 25d0ef7718..e799bc7748 100644
--- a/man/coqtop.1
+++ b/man/coqtop.1
@@ -79,7 +79,7 @@ load Coq library
 (Require path.)
 
 .TP
-.BI \-require \ path
+.BI \-require-import \ path
 load Coq library
 .I path
 and import it (Require Import path.)
-- 
cgit v1.2.3