summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/thmtools/thmtools.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/thmtools/thmtools.ins')
-rw-r--r--Master/texmf-dist/source/latex/thmtools/thmtools.ins46
1 files changed, 46 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/thmtools/thmtools.ins b/Master/texmf-dist/source/latex/thmtools/thmtools.ins
new file mode 100644
index 00000000000..2a974e839e4
--- /dev/null
+++ b/Master/texmf-dist/source/latex/thmtools/thmtools.ins
@@ -0,0 +1,46 @@
+%%
+%% This is a bog-standard .ins file: thmtools.ins
+%%
+\input docstrip.tex
+\keepsilent
+\preamble
+This is a generated file.
+
+This file is part of the `thmtools' package.
+The `thmtools' package has the LPPL maintenance status: maintained.
+Current Maintainer is Ulrich M. Schwarz, ulmi@absatzen.de
+
+Copyright (C) 2008 by Ulrich M. Schwarz.
+
+This file may be distributed and/or modified under the
+conditions of the LaTeX Project Public License, version 1.3a.
+This version is obtainable at
+http://www.latex-project.org/lppl/lppl-1-3a.txt
+
+\endpreamble
+
+\generate{%
+ \file{thm-restate.sty}{\from{thm-restate.dtx}{restate}}
+ \file{thm-patch.sty}{\from{thm-patch.dtx}{patch}}
+ \file{thm-autoref.sty}{\from{thm-autoref.dtx}{autoref}}
+ \file{thm-listof.sty}{\from{thm-listof.dtx}{listof}}
+ \file{thm-kv.sty}{\from{thm-kv.dtx}{kv}}
+ \file{aliasctr.sty}{\from{aliasctr.dtx}{code}}
+ \file{unique.sty}{\from{unique.dtx}{code}}
+ }
+\Msg{*********************************************************}
+\Msg{*}
+\Msg{* To finish the installation you have to move the}
+\Msg{* following files into a directory searched by TeX:}
+\Msg{*}
+\Msg{* \space\space thm-restate.sty}
+\Msg{* \space\space thm-patch.sty}
+\Msg{* \space\space thm-autoref.sty}
+\Msg{* \space\space thm-listof.sty}
+\Msg{* \space\space thm-kv.sty}
+\Msg{* \space\space aliasctr.sty}
+\Msg{* \space\space unique.sty}
+\Msg{*}
+\Msg{* Happy TeXing!}
+\Msg{*********************************************************}
+\endbatchfile