diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/thmbox/thmbox.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/thmbox/thmbox.ins | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/thmbox/thmbox.ins b/Master/texmf-dist/source/latex/thmbox/thmbox.ins new file mode 100644 index 00000000000..838aef4fdc6 --- /dev/null +++ b/Master/texmf-dist/source/latex/thmbox/thmbox.ins @@ -0,0 +1,16 @@ +% Genration script for thmbox.sty + +\def\batchfile{thmbox.ins} +\input docstrip + +\usedir{tex/latex/misc} + +\askforoverwritefalse +\keepsilent + +\preamble +\endpreamble + +\generate{\file{thmbox.sty}{\from{thmbox.dtx}{}}} + +\endbatchfile |