diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/vmargin/vmargin.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/vmargin/vmargin.ins | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/vmargin/vmargin.ins b/Master/texmf-dist/source/latex/vmargin/vmargin.ins new file mode 100644 index 00000000000..e823eb4188e --- /dev/null +++ b/Master/texmf-dist/source/latex/vmargin/vmargin.ins @@ -0,0 +1,27 @@ +\def\batchfile{vmargin.ins} + +\input docstrip + +\preamble +\endpreamble + +\keepsilent +\askforoverwritefalse % for developing + +\generate{\file{vmargin.sty}{\from{vmargin.dtx}{package}} + \file{vmargin.drv}{\from{vmargin.dtx}{driver}} + } + +\Msg{**********************************************************************} +\Msg{*} +\Msg{* To finish the installation you have to move the file} +\Msg{* `vmargin.sty' into a directory searched by TeX.} +\Msg{*} +\Msg{* To produce the documentation run LaTeX on the} +\Msg{* file `vmargin.dtx'.} +\Msg{* If you need to edit anything for printing the documentation, edit} +\Msg{* file `vmargin.drv' and run LaTeX on `vmargin.drv'.} +\Msg{*} +\Msg{**********************************************************************} + +\endinput |