From 9cdf9c3c0341a395249946d9e8f0bed7dd3c6d53 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 24 Dec 2008 14:38:55 +0000
Subject: - coq_makefile: target install now respects the original tree
 structure   of the archive to install in coq user-contrib installation
 directory. - Relaxed the validity check on identifiers from an error to a
 warning. - Added a filtering option to Print LoadPath. - Support for empty
 root in option -R. - Better handling of redundant paths in ml loadpath. -
 Makefile's: Added target initplugins and added initplugins to coqbinaries.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11713 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-oth.tex | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'doc')

diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex
index 6db166762e..3f1e517d67 100644
--- a/doc/refman/RefMan-oth.tex
+++ b/doc/refman/RefMan-oth.tex
@@ -629,6 +629,11 @@ This command removes the path {\str} from the current \Coq\ loadpath.
 \subsection[\tt Print LoadPath.]{\tt Print LoadPath.\comindex{Print LoadPath}}
 This command displays the current \Coq\ loadpath.
 
+\begin{Variants}
+\item {\tt Print LoadPath {\dirpath}.}\\
+Works as {\tt Print LoadPath} but displays only the paths that extend the {\dirpath} prefix.
+\end{Variants}
+
 \subsection[\tt Add ML Path {\str}.]{\tt Add ML Path {\str}.\comindex{Add ML Path}}
 This command adds the path {\str} to the current Objective Caml loadpath (see
 the command {\tt Declare ML Module} in the Section~\ref{compiled}).
-- 
cgit v1.2.3