From a665fd808b7fdaa11f84b35a87e0b8066cce1eda Mon Sep 17 00:00:00 2001 From: Pierre Boutillier Date: Fri, 20 Dec 2013 16:59:59 +0100 Subject: Coqdep always uses / as dir_sep --- man/coqdep.1 | 4 ---- 1 file changed, 4 deletions(-) (limited to 'man/coqdep.1') diff --git a/man/coqdep.1 b/man/coqdep.1 index e9e0dd3e3..5a6cd609e 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 \& -- cgit v1.2.3