summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/generic/termmenu/termmenu.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/generic/termmenu/termmenu.ins')
-rw-r--r--Master/texmf-dist/source/generic/termmenu/termmenu.ins38
1 files changed, 38 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/generic/termmenu/termmenu.ins b/Master/texmf-dist/source/generic/termmenu/termmenu.ins
new file mode 100644
index 00000000000..7042b883412
--- /dev/null
+++ b/Master/texmf-dist/source/generic/termmenu/termmenu.ins
@@ -0,0 +1,38 @@
+% -*- tex -*-
+%%
+%% Copyright (C) 2015 Sean Allred
+%%
+%% This file may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either
+%% version 1.3c 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.3c or later is part of all distributions of
+%% LaTeX version 2008/05/04 or later.
+%%
+
+\input l3docstrip.tex \relax
+\keepsilent
+
+\usedir{tex/generic/termmenu}
+
+\generate{
+ \file{termmenu.tex}{
+ \from{termmenu.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 termmenu.tex}
+\Msg{*}
+\Msg{* To produce the documentation, run the file termmenu.dtx}
+\Msg{* through LaTeX.}
+\Msg{*}
+\Msg{* Happy TeXing!}
+\Msg{*********************************************************}
+
+\endbatchfile