diff options
| author | Hendrik Tews | 2021-03-28 23:19:35 +0200 |
|---|---|---|
| committer | Hendrik Tews | 2021-03-28 23:19:35 +0200 |
| commit | 03fcea3ffd9dc640bb2bbc9be8074beb05e1a7f1 (patch) | |
| tree | 7d7f8b8cbcb6e6104e8b0d0a8869198efe5a8dd2 | |
| parent | e414d25f120696dbd1956b230801d22810746f58 (diff) | |
[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.
| -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 |