diff options
| author | coqbot-app[bot] | 2021-03-29 15:00:11 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-29 15:00:11 +0000 |
| commit | 642e8b769b05c7eea685a44aebd2475a928af6b1 (patch) | |
| tree | 7d7f8b8cbcb6e6104e8b0d0a8869198efe5a8dd2 | |
| parent | e414d25f120696dbd1956b230801d22810746f58 (diff) | |
| parent | 03fcea3ffd9dc640bb2bbc9be8074beb05e1a7f1 (diff) | |
Merge PR #14025: [coqdep] remove leftover Caml stuff from man page
Reviewed-by: ejgallego
| -rw-r--r-- | man/coqdep.1 | 9 |
1 files changed, 2 insertions, 7 deletions
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 |