summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/totcount/totcount.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/totcount/totcount.ins')
-rw-r--r--Master/texmf-dist/source/latex/totcount/totcount.ins52
1 files changed, 52 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/totcount/totcount.ins b/Master/texmf-dist/source/latex/totcount/totcount.ins
new file mode 100644
index 00000000000..ad85db9fc31
--- /dev/null
+++ b/Master/texmf-dist/source/latex/totcount/totcount.ins
@@ -0,0 +1,52 @@
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesFile{totcount.ins}
+ [2009/04/14 v1.0 Installation script for the TotCount package]
+
+\input docstrip.tex
+
+\Msg{************************************************************}
+\Msg{The TotCount package distribution contains the files:}
+\Msg{}
+\Msg{* README}
+\Msg{* totcount.dtx}
+\Msg{* totcount.ins}
+\Msg{}
+\Msg{************************************************************}
+
+\preamble
+
+The TotCount package, version 1.0, 2009/04/14
+
+Copyright (c) [2009] Vasileios Koutavas (Vasileios.Koutavas@cs.tcd.ie)
+
+This program may be re-distributed and/or modified under the terms of the
+LaTeX Project Public License version 1.3c, or any later version.
+The latest version of this license is in
+ CTAN:macros/latex/base/lppl.txt
+
+\endpreamble
+
+\keepsilent
+\askforoverwritefalse
+\generate{\file{totcount.sty} {\from{totcount.dtx}{sty}}
+ \file{totcount.drv} {\from{totcount.dtx}{drv}}
+ \file{totcount-ex.tex} {\from{totcount.dtx}{ex}}
+}
+
+\Msg{************************************************************}
+\Msg{You can now copy the package file}
+\Msg{}
+\Msg{\space\space totcount.sty}
+\Msg{}
+\Msg{in a directory accessible by LaTeX. The documentation of the}
+\Msg{package is}
+\Msg{}
+\Msg{\space\space totcount.pdf}
+\Msg{}
+\Msg{An example of how to use the TotCount package is}
+\Msg{}
+\Msg{\space\space totcount-ex.tex}
+\Msg{}
+\Msg{************************************************************}
+
+\endbatchfile