diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/mathpartir/mathpartir.ins |
Initial commit
Diffstat (limited to 'macros/latex/contrib/mathpartir/mathpartir.ins')
-rw-r--r-- | macros/latex/contrib/mathpartir/mathpartir.ins | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/macros/latex/contrib/mathpartir/mathpartir.ins b/macros/latex/contrib/mathpartir/mathpartir.ins new file mode 100644 index 0000000000..cf0c3569db --- /dev/null +++ b/macros/latex/contrib/mathpartir/mathpartir.ins @@ -0,0 +1,65 @@ +%% +%% Copyright (C) 2015 by Didier Remy <didier.remy(at)inria(dot)fr> +%% +%% This file is part of mathpartir. +%% +%% mathpartir is free software: you can redistribute it and/or modify +%% it under the terms of the GNU General Public License as published by +%% the Free Software Foundation, either version 2 of the License, or +%% (at your option) any later version. +%% +%% mathpartir is distributed in the hope that it will be useful, +%% but WITHOUT ANY WARRANTY; without even the implied warranty of +%% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +%% GNU General Public License for more details. +%% +%% You should have received a copy of the GNU General Public License +%% along with mathpartir. If not, see <http://www.gnu.org/licenses/>. +%% + +\input docstrip.tex +\keepsilent + +\usedir{tex/latex/mathpartir} + +\preamble + +This is a generated file. + +Copyright (C) 2015 by Didier Remy <didier.remy(at)inria(dot)fr> + +This file is part of mathpartir. + +mathpartir is free software: you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 2 of the License, or +(at your option) any later version. + +mathpartir is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with mathpartir. If not, see <http://www.gnu.org/licenses/>. + +\endpreamble + +\generate{\file{mathpartir.sty}{\from{mathpartir.dtx}{package}}} + +\obeyspaces +\Msg{*************************************************************} +\Msg{* *} +\Msg{* To finish the installation you have to move the following *} +\Msg{* file into a directory searched by TeX: *} +\Msg{* *} +\Msg{* mathpartir.sty *} +\Msg{* *} +\Msg{* To produce the documentation run the file mathpartir.dtx *} +\Msg{* through PDFLaTeX. *} +\Msg{* *} +\Msg{* Happy TeXing! *} +\Msg{* *} +\Msg{*************************************************************} + +\endbatchfile |