From 4d601a87b775529b7d516fa213c688b6ecf5246d Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 8 Sep 2014 11:36:44 +0200
Subject: toploop plugins taken into account when printing --help (close: 3535)

E.g.

Coq options are:
  -I dir                 look for ML files in dir
  -include dir           (idem)
  [...]
  -h, --help             print this list of options

With the flag '-toploop coqidetop' these extra option are also available:
  --help-XML-protocol    print the documentation of the XML protocol used by CoqIDE
---
 ide/ide_slave.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ide')

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index 6e8d298aba..5e03d27732 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -470,3 +470,5 @@ let () = Coqtop.toploop_init := (fun args ->
         args)
 
 let () = Coqtop.toploop_run := loop
+
+let () = Usage.add_to_usage "coqidetop" "  --help-XML-protocol    print the documentation of the XML protocol used by CoqIDE\n"
-- 
cgit v1.2.3