Compatibilité ocamlweb pour cible doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6616 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 2 deletions

diff --git a/toplevel/vernacentries.mli b/toplevel/vernacentries.mli
index da26f63f6a..dc521cc55a 100644
--- a/toplevel/vernacentries.mli
+++ b/toplevel/vernacentries.mli
@@ -27,11 +27,11 @@ val show_node : unit -> unit
    in the context of the current goal, as for instance in pcoq *)
 val get_current_context_of_args : int option -> Evd.evar_map * Environ.env
 
+(*i
 (* this function is used to analyse the extra arguments in search commands.
    It is used in pcoq. *) (*i anciennement: inside_outside i*)
-(*
 val interp_search_restriction : search_restriction -> dir_path list * bool
-*)
+i*)
 
 type pcoq_hook = {
   start_proof : unit -> unit;