diff options
Diffstat (limited to 'macros/latex/contrib/formal-grammar/formal-grammar.ins')
-rw-r--r-- | macros/latex/contrib/formal-grammar/formal-grammar.ins | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/macros/latex/contrib/formal-grammar/formal-grammar.ins b/macros/latex/contrib/formal-grammar/formal-grammar.ins new file mode 100644 index 0000000000..23254393ef --- /dev/null +++ b/macros/latex/contrib/formal-grammar/formal-grammar.ins @@ -0,0 +1,49 @@ +%% +%% Copyright (C) 2021 by Martin Vassor +%% + +%% 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/formal-grammar} +\preamble +This is a generated file. +Copyright (C) 2021 by Martin Vassor + +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{formal-grammar.sty}{\from{formal-grammar.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 formal-grammar.sty} +\Msg{*} +\Msg{* To produce the documentation run the file grammar.dtx} +\Msg{* through LaTeX.} +\Msg{*} +\Msg{* Happy TeXing!} +\Msg{*********************************************************} +\endbatchfile |