diff options
Diffstat (limited to 'man/coqdep.1')
| -rw-r--r-- | man/coqdep.1 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/man/coqdep.1 b/man/coqdep.1 index e9e0dd3e..5a6cd609 100644 --- a/man/coqdep.1 +++ b/man/coqdep.1 @@ -78,10 +78,6 @@ of each Coq file given as argument and complete (if needed) the list of Caml modules. The new command is printed on the standard output. No dependency is computed with this option. .TP -.BI \-slash -Prints paths using a slash instead of the OS specific separator. This -option is useful when developping under Cygwin. -.TP .BI \-I \ directory The files .v .ml .mli of the directory .IR directory \& |