%%
%% This file generates files required to use the ed package.
%% At your command prompt write
%%
%%     latex reqdoc.ins
%%
%% Copyright(c) 2007 Michael Kohlhase
%% The development version of this file can be found at
%% $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/reqdoc/reqdoc.ins $
%%
%% This file is distributed under the terms of the LaTeX Project Public
%% License from CTAN archives in directory  macros/latex/base/lppl.txt.
%% Either version 1.0 or, at your option, any later version.
%%
\input docstrip
\preamble
\endpreamble

%\usedir{tex/latex/listings}
\keepsilent
\askforoverwritefalse

% generate base package
\generate{\file{reqdoc.sty}{\from{reqdoc.dtx}{package}}}

\Msg{*}
\Msg{* You probably need to move the file reqdoc.sty into a directory searched by TeX.}
\Msg{*}
\Msg{* And don't forget to refresh your filename database}
\Msg{* if your TeX distribution uses such a database.}
\Msg{*}

\nopreamble\nopostamble
\generate{\file{reqdoc.sty.ltxml}{\from{reqdoc.dtx}{ltxml}}}

\Msg{*}
\Msg{* You probably need to move the generated ltxml files into a directory searched by LaTeXML.}
\Msg{*}

\endbatchfile
