From 2f521670fbd84a118be56d5397dfeb8bcc404f19 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 31 Jan 2014 15:57:31 +0100
Subject: Removing the [Require "file"] syntax.

---
 doc/refman/RefMan-oth.tex | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'doc')

diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex
index 8f959183c9..dc2e454f6a 100644
--- a/doc/refman/RefMan-oth.tex
+++ b/doc/refman/RefMan-oth.tex
@@ -620,12 +620,6 @@ with the mapping used to compile the file.
   given, it also imports {\qualid}$_1$, \ldots, {\qualid}$_n$ and all
   the recursive dependencies that were marked or transitively marked
   as {\tt Export}.
-
-\item {\tt Require \zeroone{Import {\sl |} Export} {\str}.}
-
-  This shortcuts the resolution of the qualified name into a library
-  file name by directly requiring the module to be found in file
-  {\str}.vo.
 \end{Variants}
 
 \begin{ErrMsgs}
-- 
cgit v1.2.3