From 01128e34caee5be26cde9efede40495874fc34f3 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 30 Jun 2020 22:03:59 +0200
Subject: Cleanup mentions of -as in coqdep usage message

---
 tools/coqdep.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index 20ffdfe81d..2177da0c75 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -35,9 +35,7 @@ let usage () =
   eprintf "  -sort : output the given file name ordered by dependencies\n";
   eprintf "  -noglob | -no-glob : \n";
   eprintf "  -f file : read -I, -Q, -R and filenames from _CoqProject-formatted FILE.";
-  eprintf "  -I dir -as logname : add (non recursively) dir to coq load path under logical name logname\n";
   eprintf "  -I dir : add (non recursively) dir to ocaml path\n";
-  eprintf "  -R dir -as logname : add and import dir recursively to coq load path under logical name logname\n"; (* deprecate? *)
   eprintf "  -R dir logname : add and import dir recursively to coq load path under logical name logname\n";
   eprintf "  -Q dir logname : add (recursively) and open (non recursively) dir to coq load path under logical name logname\n";
   eprintf "  -vos : also output dependencies about .vos files\n";
-- 
cgit v1.2.3