%%
%% This file will generate fast loadable files and documentation
%% driver files from the doc files in this package when run through
%% LaTeX or TeX.
%%
%% 
%% This file is to be used with the LaTeX2e system.
%% ------------------------------------------------
%% 
%%  This system is distributed in the hope that it will be useful,
%%  but WITHOUT ANY WARRANTY; without even the implied warranty of
%%  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
%% 
%% IMPORTANT NOTICE:
%% 
%% Copyright (C) 1988-1994 H. Partl.
%% Copyright (C) 1994 Axel Kielhorn. All rights reserved.
%% For additional copyright information see further down in this file.
%% 
%% Permission is granted to distributed verbatim copies of this file
%% together with all other files of the LaTeX2e system.
%% 
%% No other permissions to copy or distribute this file in any form
%% are granted and in particular no permission to modify its contents.
%%
%% --------------- start of docstrip commands ------------------
%%
\def\batchfile{refman.ins}
\input docstrip.tex
\preamble

Copyright (C) 1988-1994 by H. Partl.
Copyright (C) 1994 by Axel Kielhorn.  All rights reserved.
For additional copyright information see further down in this file.

This file is to be used with the LaTeX2e system.
------------------------------------------------

 This system is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.


IMPORTANT NOTICE:

For error reports in case of UNCHANGED versions see upload file.

Please do not request updates from us directly.  Distribution is
done through Mail-Servers and TeX organizations.

You are not allowed to change this file.

You are allowed to distribute this file under the condition that
it is distributed together with all files mentioned in 00readme.l2e.

If you receive only some of these files from someone, complain!

You are NOT ALLOWED to distribute this file alone.  You are NOT
ALLOWED to take money for the distribution or use of either this
file or a changed version, except for a nominal charge for copying
etc.
\endpreamble
\def\batchfile{refman.dst}   % ignored in distribution
\input docstrip.tex           % ignored in distribution

\keepsilent

\Msg{*** Generating the document class files ***}

\generateFile{refman-s.cls}{t}{\from{refman.dtx}{refman-s}}
\generateFile{refman.cls}{t}{\from{refman.dtx}{refman}}

\Msg{*** Generating the document class option files ***}

\generateFile{ref10.clo}{t}{\from{refman.dtx}{10pt}}
\generateFile{ref11.clo}{t}{\from{refman.dtx}{11pt}}
\generateFile{ref12.clo}{t}{\from{refman.dtx}{12pt}}


\ifToplevel{
\Msg{***********************************************************}
\Msg{*}
\Msg{* To finish the installation you have to move the following}
\Msg{* files into a directory searched by TeX:}
\Msg{*}
\Msg{* \space\space refman-s.cls}
\Msg{* \space\space refman.cls}
\Msg{* \space\space ref10.clo}
\Msg{* \space\space ref11.clo}
\Msg{* \space\space ref12.clo}
%\Msg{* \space\space pagepc.sty}
\Msg{*}
\Msg{* To produce the documentation run the files ending with}
\Msg{* `.dtx' through LaTeX.}
\Msg{*}
\Msg{* Happy TeXing}
\Msg{***********************************************************}
}

\endinput