%%
%% This file will generate fast loadable files and documentation
%% driver files from the doc files in this package when run through
%% LaTeX or TeX.
%%
%% Copyright 1993-2017
%% The LaTeX3 Project and any individual authors listed elsewhere
%% in this file.
%%
%% This file is part of the LaTeX base system.
%% -------------------------------------------
%%
%% It may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either version 1.3b
%% of this license or (at your option) any later version.
%% The latest version of this license is in
%% https://www.latex-project.org/lppl.txt
%% and version 1.3b or later is part of all distributions of LaTeX
%% version 2005/12/01 or later.
%%
%% This file has the LPPL maintenance status "maintained".
%%
%% As this file contains legal notices, it is NOT PERMITTED to modify
%% this file in any way that the legal information placed into
%% generated files is changed (i.e., the files generated when the
%% original file is executed). This restriction does not apply if
%% (parts of) the content is reused in a different WORK producing its
%% own generated files.
%%
%% The list of all files belonging to the LaTeX base distribution is
%% given in the file `manifest.txt'. See also `legal.txt' for additional
%% information.
%%
%%
%%
%%
%% --------------- start of docstrip commands ------------------
%%
% If the top level file is docstrip.ins, most TeXs set \jobname to
% docstrip which would make docstrip program think it should run
% in interactive mode. So redefine \jobname in this install file.
\let\jobname\relax
\input docstrip.dtx
\preamble
This is a generated file.
The source is maintained by the LaTeX Project team and bug
reports for it can be opened at https://latex-project.org/bugs.html
(but please observe conditions on bug reports sent to that address!)
Copyright 1993-2017
The LaTeX3 Project and any individual authors listed elsewhere
in this file.
This file was generated from file(s) of the LaTeX base system.
--------------------------------------------------------------
It may be distributed and/or modified under the
conditions of the LaTeX Project Public License, either version 1.3c
of this license or (at your option) any later version.
The latest version of this license is in
https://www.latex-project.org/lppl.txt
and version 1.3c or later is part of all distributions of LaTeX
version 2005/12/01 or later.
This file has the LPPL maintenance status "maintained".
This file may only be distributed together with a copy of the LaTeX
base system. You may however distribute the LaTeX base system without
such generated files.
The list of all files belonging to the LaTeX base distribution is
given in the file `manifest.txt'. See also `legal.txt' for additional
information.
The list of derived (unpacked) files belonging to the distribution
and covered by LPPL is defined by the unpacking scripts (with
extension .ins) which are part of the distribution.
\endpreamble
\declarepostamble\istpost
\endpostamble
\keepsilent
% programs and packages
\usedir{tex/latex/base}
\generate{\file{docstrip.tex}{\from{docstrip.dtx}{initex,program,stats}}
}
\generate{\file{ltxdoc.cls}{\from{ltxdoc.dtx}{class}}
}
\generate{\file{doc.sty}{\from{doc.dtx}{package}}
\file{shortvrb.sty}{\from{doc.dtx}{shortvrb}}
\usepostamble\istpost
\usedir{makeindex/latex}
\file{gind.ist}{\from{doc.dtx}{gind}}
\file{gglo.ist}{\from{doc.dtx}{gglo}}
}
\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 doc.sty}
\Msg{* \space\space shortvrb.sty}
\Msg{* \space\space docstrip.tex}
\Msg{*}
\Msg{* Also move the following files into a directory searched}
\Msg{* by MakeIndex:}
\Msg{*}
\Msg{* \space\space gind.ist}
\Msg{* \space\space gglo.ist}
\Msg{*}
\Msg{* To produce the documentation run the files ending with}
\Msg{* `.dtx' through LaTeX.}
\Msg{*}
\Msg{* Happy TeXing}
\Msg{***********************************************************}
}
\endbatchfile