\Header{zip.file.extract}{Extract File from a Zip Archive}
\keyword{file}{zip.file.extract}
\begin{Description}\relax
This will extract the file named \code{file} from the zip archive,
if possible, and write it in a temporary location.\end{Description}
\begin{Usage}
\begin{verbatim}
zip.file.extract(file, zipname="R.zip")
\end{verbatim}
\end{Usage}
\begin{Arguments}
\begin{ldescription}
\item[\code{file}] A file name.
\item[\code{zipname}] The file name of a \code{zip} archive.
\end{ldescription}
\end{Arguments}
\begin{Details}\relax
The file will be extracted if it is in the archive and any required
\code{unzip} utility is available. It will probably be extracted to
the directory used by \code{tempfile}.\end{Details}
\begin{Value}
The name of the original or extracted file.\end{Value}
\begin{Section}{Warning}
This function is intended for internal use only:
it may be altered at any time, and may differ between platforms. Do
NOT use in user code.\end{Section}
\begin{Note}\relax
The implementation differs by platform: it might do nothing.\end{Note}
\begin{Author}\relax
B. D. Ripley\end{Author}

