From 2b1e771f49be6794bbe7e7d2f54b7571ccdf35b3 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 27 Oct 2009 18:00:59 +0000
Subject: Added option --external to coqdoc to bind an url to an external
 library.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12426 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 man/coqdoc.1 | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'man/coqdoc.1')

diff --git a/man/coqdoc.1 b/man/coqdoc.1
index 45fcafd24..1b4cb7b6f 100644
--- a/man/coqdoc.1
+++ b/man/coqdoc.1
@@ -120,6 +120,10 @@ globalizations are obtained with Coq option \-dump\-glob).
 .B \-\-no\-externals
 Do not insert links to the Coq standard library.
 
+.TP
+.BI \-\-external \ url \  libroot
+Set base URL for the external library whose root prefix is libroot.
+
 .TP
 .BI \-\-coqlib \ url
 Set base URL for the Coq standard library (default is http://coq.inria.fr/library/).
-- 
cgit v1.2.3