From 03fcea3ffd9dc640bb2bbc9be8074beb05e1a7f1 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Sun, 28 Mar 2021 23:19:35 +0200
Subject: [coqdep] remove leftover Caml stuff from man page

Dependencies for Caml files was removed in PR #11589, but some
parts of it survived in the man page.
---
 man/coqdep.1 | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

(limited to 'man')

diff --git a/man/coqdep.1 b/man/coqdep.1
index b0d9606969..bb6b20c0bb 100644
--- a/man/coqdep.1
+++ b/man/coqdep.1
@@ -1,7 +1,7 @@
 .TH COQ 1
 
 .SH NAME
-coqdep \- Compute inter-module dependencies for Coq and Caml programs
+coqdep \- Compute inter-module dependencies for Coq programs
 
 .SH SYNOPSIS
 .B coqdep
@@ -23,7 +23,7 @@ coqdep \- Compute inter-module dependencies for Coq and Caml programs
 .SH DESCRIPTION
 
 .B coqdep
-compute inter-module dependencies for Coq and Caml programs,
+compute inter-module dependencies for Coq programs,
 and prints the dependencies on the standard output in a format
 readable by make.
 When a directory is given as argument, it is recursively looked at.
@@ -41,11 +41,6 @@ printed except if
 .BR \-boot \&
 is given.
 
-Dependencies of Caml modules are computed by looking at
-.IR open \&
-directives and the dot notation
-.IR module.value \&.
-
 .SH OPTIONS
 
 .TP
-- 
cgit v1.2.3