summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/logicproof/logicproof.ins
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/logicproof/logicproof.ins')
-rw-r--r--macros/latex/contrib/logicproof/logicproof.ins44
1 files changed, 44 insertions, 0 deletions
diff --git a/macros/latex/contrib/logicproof/logicproof.ins b/macros/latex/contrib/logicproof/logicproof.ins
new file mode 100644
index 0000000000..10c997a872
--- /dev/null
+++ b/macros/latex/contrib/logicproof/logicproof.ins
@@ -0,0 +1,44 @@
+%%
+%% Copyright (C) 2014 by Alan Davidson
+%%
+%% This file may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either
+%% version 1.3 of this license or (at your option) any later
+%% version. The latest version of this license is in:
+%% http://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of
+%% LaTeX version 2005/12/01 or later.
+%%
+
+\input docstrip.tex
+\keepsilent
+
+\usedir{tex/latex/ package }
+
+\preamble
+
+This is a generated file.
+
+Copyright (C) 2014 by Alan Davidson
+This file may be distributed and/or modified under the
+conditions of the LaTeX Project Public License, either
+version 1.3 of this license or (at your option) any later
+version. The latest version of this license is in:
+http://www.latex-project.org/lppl.txt
+and version 1.3 or later is part of all distributions of
+LaTeX version 2005/12/01 or later.
+\endpreamble
+\generate{\file{logicproof.sty}{\from{logicproof.dtx}{package}}}
+\Msg{*********************************************************}
+\Msg{*}
+\Msg{* To finish the installation you have to move the}
+\Msg{* following file into a directory searched by TeX:}
+\Msg{*}
+\Msg{* \space\space logicproof .sty}
+\Msg{*}
+\Msg{* To produce the documentation run the file package .dtx}
+\Msg{* through LaTeX.}
+\Msg{*}
+\Msg{* Happy TeXing!}
+\Msg{*********************************************************}
+\endbatchfile