%%
%% This file generates files required to use the ed package.
%% At your command prompt write
%%
%%     latex stex.ins
%%
%% Copyright (c) 2021 Michael Kohlhase
%%
%% 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

\keepsilent
\askforoverwritefalse

\generate{
	\file{stex.cls}{\from{stex.dtx}{cls}}
	\file{stex.sty}{
		\from{stex.dtx}{package}
		\from{stex/utilities.idtx}{package}
		\from{stex/html.idtx}{package}
		\from{stex/archives.idtx}{package}
		\from{stex/uris.idtx}{package}
		\from{stex/documents.idtx}{package}
		\from{stex/modules.idtx}{package}
		\from{stex/smsmode.idtx}{package}
		\from{stex/imports.idtx}{package}
		\from{stex/morphisms.idtx}{package}
		\from{stex/symbols.idtx}{package}
		\from{stex/variables.idtx}{package}
		\from{stex/notations.idtx}{package}
		\from{stex/expressions.idtx}{package}
		\from{stex/structures.idtx}{package}
		\from{stex/statements.idtx}{package}
		\from{stex/proofs.idtx}{package}
		\from{stex/metatheory.idtx}{package}
		\from{stex/others.idtx}{package}
	}
	\file{notesslides.cls}{\from{notesslides.dtx}{cls}}
	\file{notesslides.sty}{\from{notesslides.dtx}{package}}
	\file{problem.sty}{\from{problem.dtx}{package}}
	\file{hwexam.sty}{\from{hwexam.dtx}{package}}
	\file{tikzinput.sty}{\from{tikzinput.dtx}{package}}
}

\Msg{*}
\Msg{* You probably need to move the generated style files 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{*}

\endbatchfile