diff options
Diffstat (limited to 'Master/texmf-dist/source/generic/termmenu/termmenu.ins')
-rw-r--r-- | Master/texmf-dist/source/generic/termmenu/termmenu.ins | 38 |
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 |