1 files changed, 0 insertions, 6 deletions
diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex
index 8f959183c..dc2e454f6 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}