From bfa91a895692f4f52e132c3814a472c5e2a24d7b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 31 Mar 2015 19:41:47 +0200
Subject: Removing references to deprecated syntax -I/-R -as.

---
 checker/checker.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'checker')

diff --git a/checker/checker.ml b/checker/checker.ml
index ffe1553197..9a1007acb3 100644
--- a/checker/checker.ml
+++ b/checker/checker.ml
@@ -181,8 +181,7 @@ let print_usage_channel co command =
 "  -I dir -as coqdir      map physical dir to logical coqdir\
 \n  -I dir                 map directory dir to the empty logical path\
 \n  -include dir           (idem)\
-\n  -R dir -as coqdir      recursively map physical dir to logical coqdir\
-\n  -R dir coqdir          (idem)\
+\n  -R dir coqdir          recursively map physical dir to logical coqdir\
 \n\
 \n  -admit module          load module and dependencies without checking\
 \n  -norec module          check module but admit dependencies without checking\
-- 
cgit v1.2.3